rwth.i2.ltl2ba4j.formula.impl
Class BinaryFormula

java.lang.Object
  extended by 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


Field Summary
protected  IFormula subformula1
           
protected  IFormula subformula2
           
 
Constructor Summary
BinaryFormula(IFormula subformula1, IFormula subformula2)
           
 
Method Summary
 boolean equals(Object oth)
          
 IFormula getSubformula1()
          
 IFormula getSubformula2()
          
 int hashCode()
          
protected abstract  String symbol()
           
 String toString()
          
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

subformula1

protected IFormula subformula1

subformula2

protected IFormula subformula2
Constructor Detail

BinaryFormula

public BinaryFormula(IFormula subformula1,
                     IFormula subformula2)
Parameters:
subformula1 - left subformula
subformula2 - right subformula
Method Detail

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.