rwth.i2.ltl2ba4j.formula
Interface IUnaryFormula

All Superinterfaces:
IFormula
All Known Subinterfaces:
IFinally, IGlobally, INext, INot
All Known Implementing Classes:
Finally, Globally, Next, Not, UnaryFormula

public interface IUnaryFormula
extends IFormula

Author:
Eric Bodden IBinaryFormula

Method Summary
 IFormula getSubformula()
           
 

Method Detail

getSubformula

IFormula getSubformula()
Returns:
the subformula or proposition


Eric Bodden, RWTH Aachen University, 2005.