|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |