rwth.i2.ltl2ba4j.formula
Interface IFormula

All Known Subinterfaces:
IAnd, IBinaryFormula, IEquivalent, IFinally, IGlobally, IImplies, INext, INot, IOr, IProposition, IRelease, IUnaryFormula, IUntil
All Known Implementing Classes:
And, BinaryFormula, Equivalent, Finally, Globally, Implies, Next, Not, Or, Proposition, Release, UnaryFormula, Until

public interface IFormula

Author:
Eric Bodden IFormula



Eric Bodden, RWTH Aachen University, 2005.