abc.ltl.ast
Interface PCLTLAnd

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

public interface PCLTLAnd
extends PCLTLGeneral

PCLTLOr

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