rwth.i2.ltlrv.formula.base
Class CommutativeBinaryFormula

java.lang.Object
  extended by rwth.i2.ltlrv.formula.base.AbstractFormula
      extended by rwth.i2.ltlrv.formula.base.BinaryFormula
          extended by 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

Field Summary
 
Fields inherited from class rwth.i2.ltlrv.formula.base.BinaryFormula
subformula1, subformula2
 
Fields inherited from class rwth.i2.ltlrv.formula.base.AbstractFormula
factory
 
Constructor Summary
CommutativeBinaryFormula(IFormula subformula1, IFormula subformula2)
           
 
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.
 
Methods inherited from class rwth.i2.ltlrv.formula.base.BinaryFormula
getSubformula1, getSubformula2, toString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface rwth.i2.ltlrv.formula.interfaze.IFormula
negationNormalForm, symbol
 

Constructor Detail

CommutativeBinaryFormula

public CommutativeBinaryFormula(IFormula subformula1,
                                IFormula subformula2)
Parameters:
subformula1 -
subformula2 -
Method Detail

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()