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, toString
getEndPos, getStartPos, setEndPos, setStartPos
public 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