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

Field Summary

protected IFormula

subformula the subformula

Fields inherited from class rwth.i2.ltlrv.formula.base.AbstractFormula

factory

Constructor Summary

UnaryFormula(IFormula subformula)

Method Summary

IFormula	getSubformula()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface rwth.i2.ltlrv.formula.interfaze.IFormula

negationNormalForm, symbol

Field Detail

subformula

protected IFormula subformula

the subformula

Constructor Detail

UnaryFormula

public UnaryFormula(IFormula subformula)

Parameters:

subformula - the subformula

Method Detail

getSubformula

public IFormula getSubformula()

Specified by:

getSubformula in interface IUnaryTerm

Returns:

the subformula or proposition

toString

public String toString()

Overrides:

toString in class Object