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

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

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

Uses of IProposition in rwth.i2.ltl2ba4j.formula
 

Methods in rwth.i2.ltl2ba4j.formula that return IProposition
 IProposition IFormulaFactory.Proposition(String label)
           
 

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

Classes in rwth.i2.ltl2ba4j.formula.impl that implement IProposition
 class Proposition
           
 

Methods in rwth.i2.ltl2ba4j.formula.impl that return IProposition
 IProposition FormulaFactory.Proposition(String label)
          
 



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