|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use BinaryFormula | |
---|---|
rwth.i2.ltlrv.formula.base | Abstract base classes for LTL term constructors. |
rwth.i2.ltlrv.formula.impl | Implementing classes for LTL term constructors. |
Uses of BinaryFormula in rwth.i2.ltlrv.formula.base |
---|
Subclasses of BinaryFormula in rwth.i2.ltlrv.formula.base | |
---|---|
class |
CommutativeBinaryFormula
CommutativeBinaryFormula - Abstract superclass of all binary formulae which are commutative. |
Uses of BinaryFormula in rwth.i2.ltlrv.formula.impl |
---|
Subclasses of BinaryFormula in rwth.i2.ltlrv.formula.impl | |
---|---|
class |
Equivalent
Equivalent - Implements the equivalent relation as subformula. |
class |
Implies
Implies - Implements the Implies relation as subformula. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |