rwth.i2.ltlrv.formula.interfaze
Interface IFinally

All Superinterfaces:

IFormula, IUnaryTerm

All Known Implementing Classes:

Finally

public interface IFinally
extends IUnaryTerm

IFinally represents the finally operator

Author:

Eric Bodden

Method Summary

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

getSubformula

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

negationNormalForm, symbol