Package org.xcsp.common.predicates
Class XNodeParentSpecial<V extends IVar>
- java.lang.Object
-
- org.xcsp.common.predicates.XNode<V>
-
- org.xcsp.common.predicates.XNodeParent<V>
-
- org.xcsp.common.predicates.XNodeParentSpecial<V>
-
- All Implemented Interfaces:
Comparable<XNode<V>>
public final class XNodeParentSpecial<V extends IVar> extends XNodeParent<V>
-
-
Field Summary
Fields Modifier and Type Field Description String
specialName
-
Constructor Summary
Constructors Constructor Description XNodeParentSpecial(String specialName, XNode<V> son)
XNodeParentSpecial(String specialName, XNode<V> son1, XNode<V> son2)
-
Method Summary
-
Methods inherited from class org.xcsp.common.predicates.XNodeParent
abs, abstraction, add, allNodesSuchThat, and, build, canonization, compareTo, concretization, dist, div, eq, equals, firstNodeSuchThat, ge, gt, iff, ifThenElse, imp, in, isEqVar, le, lt, max, maxParameterNumber, min, mod, mul, ne, neg, not, notin, or, pow, replaceLeafValues, replacePartiallyParameters, replaceSymbols, scalar, set, set, size, sqr, sub, toFunctionalExpression, toPostfixExpression, xor
-
Methods inherited from class org.xcsp.common.predicates.XNode
allNodesSuchThat, ariop, arity, arrayOfVals, arrayOfVars, collectVarsToSet, exactlyVars, getType, listOfVals, listOfVars, logop, longLeaf, node, node, node, node, node, node, node, possibleValues, relop, specialLeaf, toString, unalop, val, var, vars
-
-