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

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

Packages that use IFormula
rwth.i2.ltl2ba4j JNI bridge to ltl2ba. 
rwth.i2.ltl2ba4j.formula Interfaces defining Formulas in LTL. 
rwth.i2.ltl2ba4j.formula.impl Default implementation. 
rwth.i2.ltl2ba4j.internal.jnibridge   
 

Uses of IFormula in rwth.i2.ltl2ba4j
 

Methods in rwth.i2.ltl2ba4j with parameters of type IFormula
static Collection<ITransition> LTL2BA4J.formulaToBA(IFormula formula)
          Converts the given formula into a finite state machine.
 

Uses of IFormula in rwth.i2.ltl2ba4j.formula
 

Subinterfaces of IFormula in rwth.i2.ltl2ba4j.formula
 interface IAnd
           
 interface IBinaryFormula
           
 interface IEquivalent
           
 interface IFinally
           
 interface IGlobally
           
 interface IImplies
           
 interface INext
           
 interface INot
           
 interface IOr
           
 interface IProposition
           
 interface IRelease
           
 interface IUnaryFormula
           
 interface IUntil
           
 

Methods in rwth.i2.ltl2ba4j.formula that return IFormula
 IFormula IUnaryFormula.getSubformula()
           
 IFormula IBinaryFormula.getSubformula1()
           
 IFormula IBinaryFormula.getSubformula2()
           
 

Methods in rwth.i2.ltl2ba4j.formula with parameters of type IFormula
 IAnd IFormulaFactory.And(IFormula formula1, IFormula formula2)
           
 IEquivalent IFormulaFactory.Eq(IFormula formula1, IFormula formula2)
           
 IFinally IFormulaFactory.F(IFormula formula)
           
 IGlobally IFormulaFactory.G(IFormula formula)
           
 IImplies IFormulaFactory.Impl(IFormula formula1, IFormula formula2)
           
 INot IFormulaFactory.Not(IFormula formula)
           
 IOr IFormulaFactory.Or(IFormula formula1, IFormula formula2)
           
 IRelease IFormulaFactory.Release(IFormula formula1, IFormula formula2)
           
 IUntil IFormulaFactory.Until(IFormula formula1, IFormula formula2)
           
 INext IFormulaFactory.X(IFormula formula)
           
 

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

Classes in rwth.i2.ltl2ba4j.formula.impl that implement IFormula
 class And
           
 class Equivalent
           
 class Finally
           
 class Globally
           
 class Implies
           
 class Next
           
 class Not
           
 class Or
           
 class Proposition
           
 class Release
           
 class Until
           
 

Fields in rwth.i2.ltl2ba4j.formula.impl declared as IFormula
protected  IFormula Not.subformula
           
protected  IFormula Next.subformula
           
protected  IFormula Globally.subformula
           
protected  IFormula Finally.subformula
           
protected  IFormula Until.subformula1
           
protected  IFormula Release.subformula1
           
protected  IFormula Or.subformula1
           
protected  IFormula Implies.subformula1
           
protected  IFormula Equivalent.subformula1
           
protected  IFormula And.subformula1
           
protected  IFormula Until.subformula2
           
protected  IFormula Release.subformula2
           
protected  IFormula Or.subformula2
           
protected  IFormula Implies.subformula2
           
protected  IFormula Equivalent.subformula2
           
protected  IFormula And.subformula2
           
 

Methods in rwth.i2.ltl2ba4j.formula.impl that return IFormula
 IFormula Not.getSubformula()
          
 IFormula Next.getSubformula()
          
 IFormula Globally.getSubformula()
          
 IFormula Finally.getSubformula()
          
 IFormula Until.getSubformula1()
          
 IFormula Release.getSubformula1()
          
 IFormula Or.getSubformula1()
          
 IFormula Implies.getSubformula1()
          
 IFormula Equivalent.getSubformula1()
          
 IFormula And.getSubformula1()
          
 IFormula Until.getSubformula2()
          
 IFormula Release.getSubformula2()
          
 IFormula Or.getSubformula2()
          
 IFormula Implies.getSubformula2()
          
 IFormula Equivalent.getSubformula2()
          
 IFormula And.getSubformula2()
          
 

Methods in rwth.i2.ltl2ba4j.formula.impl with parameters of type IFormula
 IAnd FormulaFactory.And(IFormula formula1, IFormula formula2)
          
 IEquivalent FormulaFactory.Eq(IFormula formula1, IFormula formula2)
          
 IFinally FormulaFactory.F(IFormula formula)
          
 IGlobally FormulaFactory.G(IFormula formula)
          
 IImplies FormulaFactory.Impl(IFormula formula1, IFormula formula2)
          
 INot FormulaFactory.Not(IFormula formula)
          
 IOr FormulaFactory.Or(IFormula formula1, IFormula formula2)
          
 IRelease FormulaFactory.Release(IFormula formula1, IFormula formula2)
          
 IUntil FormulaFactory.Until(IFormula formula1, IFormula formula2)
          
 INext FormulaFactory.X(IFormula formula)
          
 

Constructors in rwth.i2.ltl2ba4j.formula.impl with parameters of type IFormula
And(IFormula subFormula1, IFormula subFormula2)
           
Equivalent(IFormula subFormula1, IFormula subFormula2)
           
Finally(IFormula subFormula)
           
Globally(IFormula subFormula)
           
Implies(IFormula subFormula1, IFormula subFormula2)
           
Next(IFormula subFormula)
           
Not(IFormula subFormula)
           
Or(IFormula subFormula1, IFormula subFormula2)
           
Release(IFormula subFormula1, IFormula subFormula2)
           
Until(IFormula subFormula1, IFormula subFormula2)
           
 

Uses of IFormula in rwth.i2.ltl2ba4j.internal.jnibridge
 

Constructors in rwth.i2.ltl2ba4j.internal.jnibridge with parameters of type IFormula
BAJni(IFormula formula)
          Constructs a new automaton for the given formula.
 



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