rwth.i2.ltlrv.formula.base
Class BinaryFormula
java.lang.Object
rwth.i2.ltlrv.formula.base.AbstractFormula
rwth.i2.ltlrv.formula.base.BinaryFormula
- All Implemented Interfaces:
- IBinaryTerm, IFormula
- Direct Known Subclasses:
- CommutativeBinaryFormula, Implies
public abstract class BinaryFormula
- extends AbstractFormula
- implements IBinaryTerm
BinaryFormula - Abstract superclass of all binary formulae.
- Author:
- Eric Bodden
subformula1
protected IFormula subformula1
- the subformulae
subformula2
protected IFormula subformula2
- the subformulae
BinaryFormula
public BinaryFormula(IFormula subformula1,
IFormula subformula2)
- Parameters:
subformula1
- left subformulasubformula2
- right subformula
getSubformula1
public IFormula getSubformula1()
-
- Specified by:
getSubformula1
in interface IBinaryTerm
- Returns:
- the left subformula or proposition
getSubformula2
public IFormula getSubformula2()
-
- Specified by:
getSubformula2
in interface IBinaryTerm
- Returns:
- the right subformula or proposition
toString
public String toString()
-
- Overrides:
toString
in class Object