rwth.i2.ltl2ba4j.formula
Interface IGlobally

All Superinterfaces:
IFormula, IUnaryFormula
All Known Implementing Classes:
Globally

public interface IGlobally
extends IUnaryFormula

Author:
Eric Bodden IFormula

Method Summary
 
Methods inherited from interface rwth.i2.ltl2ba4j.formula.IUnaryFormula
getSubformula
 



Eric Bodden, RWTH Aachen University, 2005.