abc.ltl.ast
Interface PCLTLOr

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

public interface PCLTLOr
extends PCLTLGeneral

PCLTLAnd

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