rwth.i2.ltlrv.formula.base
Class UnaryFormula
java.lang.Object
rwth.i2.ltlrv.formula.base.AbstractFormula
rwth.i2.ltlrv.formula.base.UnaryFormula
- All Implemented Interfaces:
- IFormula, IUnaryTerm
- Direct Known Subclasses:
- Finally, Globally
public abstract class UnaryFormula
- extends AbstractFormula
- implements IUnaryTerm
BinaryFormula - Abstract superclass of all unary formulae.
- Author:
- Eric Bodden
subformula
protected IFormula subformula
- the subformula
UnaryFormula
public UnaryFormula(IFormula subformula)
- Parameters:
subformula
- the subformula
getSubformula
public IFormula getSubformula()
-
- Specified by:
getSubformula
in interface IUnaryTerm
- Returns:
- the subformula or proposition
toString
public String toString()
-
- Overrides:
toString
in class Object