[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Research / RV / Ltl2ba4j / Docs / Api / Rwth / I2 / Ltl2ba4j / Formula / IFormula
Printer-friendly
IFormula (LTL2BA4J)

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, Equivalent, Finally, Globally, Implies, Next, Not, Or, Proposition, Release, Until

public interface IFormula

Author:
Eric Bodden IFormula



Eric Bodden, RWTH Aachen University, 2005.
Valid HTML 4.01 Strict! Valid CSS!