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 BinaryFormula
           
 class Equivalent
           
 class Finally
           
 class Globally
           
 class Implies
           
 class Next
           
 class Not
           
 class Or
           
 class Proposition
           
 class Release
           
 class UnaryFormula
           
 class Until
           
 

Fields in rwth.i2.ltl2ba4j.formula.impl declared as IFormula
protected  IFormula UnaryFormula.subformula
           
protected  IFormula BinaryFormula.subformula1
           
protected  IFormula BinaryFormula.subformula2
           
 

Methods in rwth.i2.ltl2ba4j.formula.impl that return IFormula
 IFormula UnaryFormula.getSubformula()
          
 IFormula BinaryFormula.getSubformula1()
          
 IFormula BinaryFormula.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)
           
BinaryFormula(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)
           
UnaryFormula(IFormula subformula)
           
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.