abc.ltl.ast
Interface PCLTLNext

All Superinterfaces:

PCLTLGeneral, Pointcut

All Known Implementing Classes:

PCLTLNext_c

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