rwth.i2.ltl2ba4j.formula.impl
Class UnaryFormula
java.lang.Object
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
subformula
protected IFormula subformula
UnaryFormula
public UnaryFormula(IFormula subformula)
- Parameters:
subformula
- the subformula
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.