|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IGlobally
IGlobally represents the globally operator
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 |
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |