[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 / IUnaryFormula
Printer-friendly
Uses of Interface rwth.i2.ltl2ba4j.formula.IUnaryFormula (LTL2BA4J)

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

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

Uses of IUnaryFormula in rwth.i2.ltl2ba4j.formula
 

Subinterfaces of IUnaryFormula in rwth.i2.ltl2ba4j.formula
 interface IFinally
           
 interface IGlobally
           
 interface INext
           
 interface INot
           
 

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

Classes in rwth.i2.ltl2ba4j.formula.impl that implement IUnaryFormula
 class Finally
           
 class Globally
           
 class Next
           
 class Not
           
 



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