rwth.i2.ltlrv.formula.base
Class CommutativeBinaryFormula
java.lang.Object
rwth.i2.ltlrv.formula.base.AbstractFormula
rwth.i2.ltlrv.formula.base.BinaryFormula
rwth.i2.ltlrv.formula.base.CommutativeBinaryFormula
- All Implemented Interfaces:
- IBinaryTerm, IFormula
- Direct Known Subclasses:
- Equivalent
public abstract class CommutativeBinaryFormula
- extends BinaryFormula
CommutativeBinaryFormula - Abstract superclass of all binary formulae which
are commutative. Overrides Object.equals(java.lang.Object)
and Object.hashCode()
accordingly.
- Author:
- Eric Bodden
Method Summary |
boolean |
equals(Object oth)
Implements an equality check based on the assumption that this formula constructor
is commutative. |
int |
hashCode()
Calculates a hash code based on the assumption that this formula constructor
is commutative. |
CommutativeBinaryFormula
public CommutativeBinaryFormula(IFormula subformula1,
IFormula subformula2)
- Parameters:
subformula1
- subformula2
-
equals
public boolean equals(Object oth)
- Implements an equality check based on the assumption that this formula constructor
is commutative.
- Overrides:
equals
in class Object
- See Also:
Object.equals(java.lang.Object)
hashCode
public int hashCode()
- Calculates a hash code based on the assumption that this formula constructor
is commutative.
- Overrides:
hashCode
in class Object
- See Also:
Object.hashCode()