public final class AImplicationPredicate extends PPredicate
| Constructor and Description |
|---|
AImplicationPredicate() |
AImplicationPredicate(PPredicate _left_,
PPredicate _right_) |
| Modifier and Type | Method and Description |
|---|---|
void |
apply(Switch sw) |
java.lang.Object |
clone() |
PPredicate |
getLeft() |
PPredicate |
getRight() |
void |
setLeft(PPredicate node) |
void |
setRight(PPredicate node) |
java.lang.String |
toString() |
cloneList, cloneNode, parent, replaceBy, toString, toStringgetEndPos, getStartPos, setEndPos, setStartPospublic AImplicationPredicate()
public AImplicationPredicate(PPredicate _left_, PPredicate _right_)
public void apply(Switch sw)
public PPredicate getLeft()
public void setLeft(PPredicate node)
public PPredicate getRight()
public void setRight(PPredicate node)
public java.lang.String toString()
toString in class java.lang.Object