abc.ltl.ast
Interface PCLTLImplies

All Superinterfaces:

PCLTLGeneral, Pointcut

All Known Implementing Classes:

PCLTLImplies_c

public interface PCLTLImplies
extends PCLTLGeneral

PCLTLImplies

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