public final class APredicateDefinitionDefinition extends PDefinition
| Constructor and Description |
|---|
APredicateDefinitionDefinition() |
APredicateDefinitionDefinition(TDefLiteralPredicate _name_,
java.util.List<PExpression> _parameters_,
PPredicate _rhs_) |
| Modifier and Type | Method and Description |
|---|---|
void |
apply(Switch sw) |
java.lang.Object |
clone() |
TDefLiteralPredicate |
getName() |
java.util.LinkedList<PExpression> |
getParameters() |
PPredicate |
getRhs() |
void |
setName(TDefLiteralPredicate node) |
void |
setParameters(java.util.List<PExpression> list) |
void |
setRhs(PPredicate node) |
java.lang.String |
toString() |
cloneList, cloneNode, parent, replaceBy, toString, toStringgetEndPos, getStartPos, setEndPos, setStartPospublic APredicateDefinitionDefinition()
public APredicateDefinitionDefinition(TDefLiteralPredicate _name_, java.util.List<PExpression> _parameters_, PPredicate _rhs_)
public void apply(Switch sw)
public TDefLiteralPredicate getName()
public void setName(TDefLiteralPredicate node)
public java.util.LinkedList<PExpression> getParameters()
public void setParameters(java.util.List<PExpression> list)
public PPredicate getRhs()
public void setRhs(PPredicate node)
public java.lang.String toString()
toString in class java.lang.Object