abc.ltl.ast
Interface PCLTLRelease

All Superinterfaces:

PCLTLGeneral, Pointcut

All Known Implementing Classes:

PCLTLRelease_c

public interface PCLTLRelease
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