rwth.i2.ltl2ba4j.formula
Interface IFormulaFactory
- All Known Implementing Classes:
- FormulaFactory
public interface IFormulaFactory
- Author:
- Eric Bodden
IFormulaFactory
And
IAnd And(IFormula formula1,
IFormula formula2)
Eq
IEquivalent Eq(IFormula formula1,
IFormula formula2)
F
IFinally F(IFormula formula)
G
IGlobally G(IFormula formula)
Impl
IImplies Impl(IFormula formula1,
IFormula formula2)
X
INext X(IFormula formula)
Not
INot Not(IFormula formula)
Or
IOr Or(IFormula formula1,
IFormula formula2)
Proposition
IProposition Proposition(String label)
Release
IRelease Release(IFormula formula1,
IFormula formula2)
Until
IUntil Until(IFormula formula1,
IFormula formula2)
Eric Bodden, RWTH Aachen University, 2005.