[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Research / RV / Ltl2ba4j / Docs / Api / Rwth / I2 / Ltl2ba4j / Formula / Package-summary
Printer-friendly
rwth.i2.ltl2ba4j.formula (LTL2BA4J)

Package rwth.i2.ltl2ba4j.formula

Interfaces defining Formulas in LTL.

See:
          Description

Interface Summary
IAnd  
IBinaryFormula  
IEquivalent  
IFinally  
IFormula  
IFormulaFactory  
IGlobally  
IImplies  
INext  
INot  
IOr  
IProposition  
IRelease  
IUnaryFormula  
IUntil  
 

Package rwth.i2.ltl2ba4j.formula Description

Interfaces defining Formulas in LTL. Have your objects implement those marker interfaces to be recognized as the appropriate formulas.



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