rwth.i2.ltlrv.afastate.base
Class CommutativeBinaryAFAState

java.lang.Object
  extended by rwth.i2.ltlrv.formula.base.AbstractFormula
      extended by rwth.i2.ltlrv.afastate.base.AbstractAFAState
          extended by rwth.i2.ltlrv.afastate.base.BinaryAFAState
              extended by rwth.i2.ltlrv.afastate.base.CommutativeBinaryAFAState
All Implemented Interfaces:
IAFAState, IBinaryAFAState, IBinaryTerm, IFormula
Direct Known Subclasses:
And, Or

public abstract class CommutativeBinaryAFAState
extends BinaryAFAState

Represents a binary formula, which is commutative. This means, that a formula phi(a,b) is always equal to phi(b,a). Also their hashcodes match.

Author:
Eric Bodden

Nested Class Summary
 
Nested classes/interfaces inherited from interface rwth.i2.ltlrv.afastate.interfaze.IAFAState
IAFAState.ValidationException, IAFAState.VariableKind
 
Field Summary
 
Fields inherited from class rwth.i2.ltlrv.afastate.base.BinaryAFAState
subformula1, subformula2, substate1, substate2
 
Fields inherited from class rwth.i2.ltlrv.formula.base.AbstractFormula
factory
 
Constructor Summary
CommutativeBinaryAFAState(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.afastate.base.BinaryAFAState
getSubformula1, getSubformula2, negationNormalForm, requires, specializeBindings, toString, unboundVariablesAtCurrentJoinpoint, validate
 
Methods inherited from class rwth.i2.ltlrv.afastate.base.AbstractAFAState
doTransition, provides, transition, updateContext, validate
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface rwth.i2.ltlrv.afastate.interfaze.IBinaryAFAState
reconstruct
 
Methods inherited from interface rwth.i2.ltlrv.formula.interfaze.IFormula
symbol
 
Methods inherited from interface rwth.i2.ltlrv.afastate.interfaze.IAFAState
isFinalStateInAFA, provides, providesNeg, providesPos, transition, validate
 
Methods inherited from interface rwth.i2.ltlrv.formula.interfaze.IFormula
symbol
 

Constructor Detail

CommutativeBinaryAFAState

public CommutativeBinaryAFAState(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 BinaryAFAState
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 BinaryAFAState
See Also:
Object.hashCode()