rwth.i2.ltl2ba4j.formula.impl
Class BinaryFormula
java.lang.Object
rwth.i2.ltl2ba4j.formula.impl.BinaryFormula
- All Implemented Interfaces:
- IBinaryFormula, IFormula
- Direct Known Subclasses:
- And, Equivalent, Implies, Or, Release, Until
public abstract class BinaryFormula
- extends Object
- implements IBinaryFormula
subformula1
protected IFormula subformula1
subformula2
protected IFormula subformula2
BinaryFormula
public BinaryFormula(IFormula subformula1,
IFormula subformula2)
- Parameters:
subformula1
- left subformulasubformula2
- right subformula
getSubformula1
public IFormula getSubformula1()
-
- Specified by:
getSubformula1
in interface IBinaryFormula
- Returns:
- the left subformula or proposition
getSubformula2
public IFormula getSubformula2()
-
- Specified by:
getSubformula2
in interface IBinaryFormula
- Returns:
- the right subformula or proposition
equals
public boolean equals(Object oth)
-
- Overrides:
equals
in class Object
hashCode
public int hashCode()
-
- Overrides:
hashCode
in class Object
toString
public String toString()
-
- Overrides:
toString
in class Object
symbol
protected abstract String symbol()
- Returns:
- the symbol for this formula constructor
Eric Bodden, RWTH Aachen University, 2005.