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

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

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

Uses of INot in rwth.i2.ltl2ba4j.formula
 

Methods in rwth.i2.ltl2ba4j.formula that return INot
 INot IFormulaFactory.Not(IFormula formula)
           
 

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

Classes in rwth.i2.ltl2ba4j.formula.impl that implement INot
 class Not
           
 

Methods in rwth.i2.ltl2ba4j.formula.impl that return INot
 INot FormulaFactory.Not(IFormula formula)
          
 



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