rwth.i2.ltlrv.formula.interfaze
Interface IUnaryTerm

All Superinterfaces:

IFormula

All Known Subinterfaces:

IFinally, IGlobally, INext, INot, IUnaryAFAState

All Known Implementing Classes:

Finally, Globally, Next, Not, UnaryAFAState, UnaryFormula

public interface IUnaryTerm
extends IFormula

IUnaryTerm - Common interface for a unary term.

Author:

Eric Bodden

Method Summary

IFormula

getSubformula()

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

negationNormalForm, symbol

Method Detail

getSubformula

IFormula getSubformula()

Returns:

the subformula or proposition