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

Uses of Interface
rwth.i2.ltl2ba4j.formula.IBinaryFormula

Packages that use IBinaryFormula
rwth.i2.ltl2ba4j.formula Interfaces defining Formulas in LTL. 
rwth.i2.ltl2ba4j.formula.impl Default implementation. 
 

Uses of IBinaryFormula in rwth.i2.ltl2ba4j.formula
 

Subinterfaces of IBinaryFormula in rwth.i2.ltl2ba4j.formula
 interface IAnd
           
 interface IEquivalent
           
 interface IImplies
           
 interface IOr
           
 interface IRelease
           
 interface IUntil
           
 

Uses of IBinaryFormula in rwth.i2.ltl2ba4j.formula.impl
 

Classes in rwth.i2.ltl2ba4j.formula.impl that implement IBinaryFormula
 class And
           
 class Equivalent
           
 class Implies
           
 class Or
           
 class Release
           
 class Until
           
 



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