abc.ltl.ast
Interface PCLTLNot

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

public interface PCLTLNot
extends PCLTLGeneral

PCLTLNot

Author:
Eric Bodden

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