public final class AFinitePredicate extends PPredicate
Constructor and Description |
---|
AFinitePredicate() |
AFinitePredicate(PExpression _set_) |
Modifier and Type | Method and Description |
---|---|
void |
apply(Switch sw) |
java.lang.Object |
clone() |
PExpression |
getSet() |
void |
setSet(PExpression node) |
java.lang.String |
toString() |
cloneList, cloneNode, parent, replaceBy, toString, toString
getEndPos, getStartPos, setEndPos, setStartPos
public AFinitePredicate()
public AFinitePredicate(PExpression _set_)
public void apply(Switch sw)
public PExpression getSet()
public void setSet(PExpression node)
public java.lang.String toString()
toString
in class java.lang.Object