rwth.i2.ltlrv.formula.interfaze
Interface IGlobally

All Superinterfaces:

IFormula, IUnaryTerm

All Known Implementing Classes:

Globally

public interface IGlobally
extends IUnaryTerm

IGlobally represents the globally 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