abc.ltl.ast
Interface PCLTLGlobally

All Superinterfaces:
PCLTLGeneral, Pointcut
All Known Implementing Classes:
PCLTLGlobally_c

public interface PCLTLGlobally
extends PCLTLGeneral

Author:
Eric

Method Summary
 
Methods inherited from interface abc.ltl.ast.PCLTLGeneral
formulaConstructorExpr
 
Methods inherited from interface abc.aspectj.ast.Pointcut
checkFormals, isDynamic, makeAIPointcut, mayBind, mustBind, pcRefs, precedence, printSubExpr