|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectrwth.i2.ltl2ba4j.formula.impl.FormulaFactory
public class FormulaFactory
Constructor Summary | |
---|---|
FormulaFactory()
|
Method Summary | |
---|---|
IAnd |
And(IFormula formula1,
IFormula formula2)
|
IEquivalent |
Eq(IFormula formula1,
IFormula formula2)
|
IFinally |
F(IFormula formula)
|
IGlobally |
G(IFormula formula)
|
IImplies |
Impl(IFormula formula1,
IFormula formula2)
|
INot |
Not(IFormula formula)
|
IOr |
Or(IFormula formula1,
IFormula formula2)
|
IProposition |
Proposition(String label)
|
IRelease |
Release(IFormula formula1,
IFormula formula2)
|
IUntil |
Until(IFormula formula1,
IFormula formula2)
|
INext |
X(IFormula formula)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public FormulaFactory()
Method Detail |
---|
public IAnd And(IFormula formula1, IFormula formula2)
And
in interface IFormulaFactory
public IEquivalent Eq(IFormula formula1, IFormula formula2)
Eq
in interface IFormulaFactory
public IFinally F(IFormula formula)
F
in interface IFormulaFactory
public IGlobally G(IFormula formula)
G
in interface IFormulaFactory
public IImplies Impl(IFormula formula1, IFormula formula2)
Impl
in interface IFormulaFactory
public INext X(IFormula formula)
X
in interface IFormulaFactory
public INot Not(IFormula formula)
Not
in interface IFormulaFactory
public IOr Or(IFormula formula1, IFormula formula2)
Or
in interface IFormulaFactory
public IProposition Proposition(String label)
Proposition
in interface IFormulaFactory
public IRelease Release(IFormula formula1, IFormula formula2)
Release
in interface IFormulaFactory
public IUntil Until(IFormula formula1, IFormula formula2)
Until
in interface IFormulaFactory
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |