rwth.i2.ltl2ba4j.formula.impl
Class UnaryFormula

java.lang.Object
  extended by rwth.i2.ltl2ba4j.formula.impl.UnaryFormula
All Implemented Interfaces:
IFormula, IUnaryFormula
Direct Known Subclasses:
Finally, Globally, Next, Not

public abstract class UnaryFormula
extends Object
implements IUnaryFormula


Field Summary
protected  IFormula subformula
           
 
Constructor Summary
UnaryFormula(IFormula subformula)
           
 
Method Summary
 boolean equals(Object oth)
          
 IFormula getSubformula()
          
 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

subformula

protected IFormula subformula
Constructor Detail

UnaryFormula

public UnaryFormula(IFormula subformula)
Parameters:
subformula - the subformula
Method Detail

getSubformula

public IFormula getSubformula()

Specified by:
getSubformula in interface IUnaryFormula
Returns:
the 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.