Uses of Class
org.xcsp.common.predicates.XNodeParent
-
Packages that use XNodeParent Package Description org.xcsp.common.predicates org.xcsp.modeler.api org.xcsp.modeler.definitions org.xcsp.modeler.implementation org.xcsp.parser.callbacks org.xcsp.parser.loaders -
-
Uses of XNodeParent in org.xcsp.common.predicates
Subclasses of XNodeParent in org.xcsp.common.predicates Modifier and Type Class Description class
XNodeParentSpecial<V extends IVar>
Methods in org.xcsp.common.predicates that return XNodeParent Modifier and Type Method Description static XNodeParent<IVar>
XNodeParent. abs(Object operand)
static XNodeParent<IVar>
XNodeParent. add(Object... operands)
static XNodeParent<IVar>
XNodeParent. and(Object... operands)
static XNodeParent<IVar>
XNodeParent. build(Types.TypeExpr type, Object... os)
static XNodeParent<IVar>
XNodeParent. dist(Object operand1, Object operand2)
static XNodeParent<IVar>
XNodeParent. div(Object operand1, Object operand2)
static XNodeParent<IVar>
XNodeParent. eq(Object... operands)
static XNodeParent<IVar>
XNodeParent. ge(Object operand1, Object operand2)
static XNodeParent<IVar>
XNodeParent. gt(Object operand1, Object operand2)
static XNodeParent<IVar>
XNodeParent. iff(Object... operands)
static XNodeParent<IVar>
XNodeParent. ifThenElse(Object operand1, Object operand2, Object operand3)
static XNodeParent<IVar>
XNodeParent. imp(Object operand1, Object operand2)
static XNodeParent<IVar>
XNodeParent. in(Object var, Object set)
static XNodeParent<IVar>
XNodeParent. le(Object operand1, Object operand2)
static XNodeParent<IVar>
XNodeParent. lt(Object operand1, Object operand2)
static XNodeParent<IVar>
XNodeParent. max(Object... operands)
static XNodeParent<IVar>
XNodeParent. min(Object... operands)
static XNodeParent<IVar>
XNodeParent. mod(Object operand1, Object operand2)
static XNodeParent<IVar>
XNodeParent. mul(Object... operands)
static XNodeParent<IVar>
XNodeParent. ne(Object... operands)
static XNodeParent<IVar>
XNodeParent. neg(Object operand)
static <V extends IVar>
XNodeParent<V>XNode. node(MatcherInterface.AbstractOperation type, XNode<V> son)
static <V extends IVar>
XNodeParent<V>XNode. node(MatcherInterface.AbstractOperation type, XNode<V> left, XNode<V> right)
static <V extends IVar>
XNodeParent<V>XNode. node(Types.TypeExpr type, List<XNode<V>> sons)
static <V extends IVar>
XNodeParent<V>XNode. node(Types.TypeExpr type, java.util.stream.Stream<XNode<V>> sons)
static <V extends IVar>
XNodeParent<V>XNode. node(Types.TypeExpr type, XNode<V> son)
static <V extends IVar>
XNodeParent<V>XNode. node(Types.TypeExpr type, XNode<V>[] sons)
static <V extends IVar>
XNodeParent<V>XNode. node(Types.TypeExpr type, XNode<V> left, XNode<V> right)
static XNodeParent<IVar>
XNodeParent. not(Object operand)
static XNodeParent<IVar>
XNodeParent. notin(Object var, Object set)
static XNodeParent<IVar>
XNodeParent. or(Object... operands)
static XNodeParent<IVar>
XNodeParent. pow(Object operand1, Object operand2)
static XNodeParent<IVar>
XNodeParent. scalar(int[] t1, Object[] t2)
static XNodeParent<IVar>
XNodeParent. sqr(Object operand)
static XNodeParent<IVar>
XNodeParent. sub(Object operand1, Object operand2)
static XNodeParent<IVar>
XNodeParent. xor(Object... operands)
-
Uses of XNodeParent in org.xcsp.modeler.api
Methods in org.xcsp.modeler.api that return XNodeParent Modifier and Type Method Description default XNodeParent<IVar>
ProblemAPI. abs(Object operand)
Returns the root of a syntactic tree built with the unary operatorabs
applied to the specified operand.default XNodeParent<IVar>
ProblemAPI. add(Object... operands)
Returns the root of a syntactic tree built with the operatoradd
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. and(Object... operands)
Returns the root of a syntactic tree built with the operatorand
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. dist(Object operand1, Object operand2)
Returns the root of a syntactic tree built with the binary operatordist
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. div(Object operand1, Object operand2)
Returns the root of a syntactic tree built with the binary operatordiv
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. eq(Object... operands)
Returns the root of a syntactic tree built with the operatoreq
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. ge(Object operand1, Object operand2)
Returns the root of a syntactic tree built with the binary operatorge
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. gt(Object operand1, Object operand2)
Returns the root of a syntactic tree built with the binary operatorgt
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. iff(Object... operands)
Returns the root of a syntactic tree built with the operatoriff
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. ifThenElse(Object operand1, Object operand2, Object operand3)
Returns the root of a syntactic tree built with the binary operatorif
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. imp(Object operand1, Object operand2)
Returns the root of a syntactic tree built with the binary operatorimp
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. in(Object var, Object set)
Returns the root of a syntactic tree built with the operatorin
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. knightAttack(IVar x, IVar y, int order)
Returns the root of a syntactic tree that represents the predicate ensuring that the specified variables are put in two cells of a flattened matrix (whose order is specified) at a knight distance.default XNodeParent<IVar>
ProblemAPI. le(Object operand1, Object operand2)
Returns the root of a syntactic tree built with the binary operatorle
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. lt(Object operand1, Object operand2)
Returns the root of a syntactic tree built with the binary operatorlt
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. max(Object... operands)
Returns the root of a syntactic tree built with the operatormax
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. min(Object... operands)
Returns the root of a syntactic tree built with the operatormin
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. mod(Object operand1, Object operand2)
Returns the root of a syntactic tree built with the binary operatormod
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. mul(Object... operands)
Returns the root of a syntactic tree built with the operatormul
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. ne(Object... operands)
Returns the root of a syntactic tree built with the operatorne
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. neg(Object operand)
Returns the root of a syntactic tree built with the unary operatorneg
applied to the specified operand.default XNodeParent<IVar>
ProblemAPI. not(Object operand)
Returns the root of a syntactic tree built with the unary operatornot
applied to the specified operand.default XNodeParent<IVar>
ProblemAPI. notin(Object var, Object set)
Returns the root of a syntactic tree built with the operatornotin
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. or(Object... operands)
Returns the root of a syntactic tree built with the operatoror
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. pow(Object operand1, Object operand2)
Returns the root of a syntactic tree built with the binary operatorpow
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. queenAttack(IVar x, IVar y, int order)
Returns the root of a syntactic tree that represents the predicate ensuring that the specified variables are put in two distinct cells of a flattened matrix (whose order is specified) on the same row, column or diagonal.default XNodeParent<IVar>
ProblemAPI. sqr(Object operand)
Returns the root of a syntactic tree built with the unary operatorsqr
applied to the specified operand.default XNodeParent<IVar>
ProblemAPI. sub(Object operand1, Object operand2)
Returns the root of a syntactic tree built with the binary operatorsub
applied to the specified operands.default XNodeParent<IVar>
ProblemAPI. xor(Object... operands)
Returns the root of a syntactic tree built with the operatorxor
applied to the specified operands.Methods in org.xcsp.modeler.api with parameters of type XNodeParent Modifier and Type Method Description default CtrEntities.CtrAlone
ProblemAPI. extension(XNodeParent<IVar> tree)
Builds a constraintextension
from the specified syntactic tree (predicate).default CtrEntities.CtrAlone
ProblemAPI. extensionDisjunction(XNodeParent<IVar>... trees)
default CtrEntities.CtrEntity
ProblemAPI. intension(XNodeParent<IVar> tree)
Builds a constraintintension
from the specified argument that represents the root of a syntactic tree.Method parameters in org.xcsp.modeler.api with type arguments of type XNodeParent Modifier and Type Method Description default CtrEntities.CtrAlone
ProblemAPI. extensionDisjunction(List<XNodeParent<IVar>> trees)
-
Uses of XNodeParent in org.xcsp.modeler.definitions
Methods in org.xcsp.modeler.definitions with parameters of type XNodeParent Modifier and Type Method Description static ICtr.ICtrIntension
ICtr.ICtrIntension. buildFrom(IVar[] scope, XNodeParent<IVar> tree)
-
Uses of XNodeParent in org.xcsp.modeler.implementation
Methods in org.xcsp.modeler.implementation with parameters of type XNodeParent Modifier and Type Method Description CtrEntities.CtrAlone
ProblemIMP. extension(XNodeParent<IVar> tree)
String
ProblemIMP.Converter. handle(IVar.Var[] scp, XNodeParent<IVar> tree)
abstract CtrEntities.CtrEntity
ProblemIMP. intension(XNodeParent<IVar> tree)
CtrEntities.CtrEntity
ProblemIMP3. intension(XNodeParent<IVar> tree)
Method parameters in org.xcsp.modeler.implementation with type arguments of type XNodeParent Modifier and Type Method Description CtrEntities.CtrAlone
ProblemIMP. extensionDisjunction(List<XNodeParent<IVar>> trees)
-
Uses of XNodeParent in org.xcsp.parser.callbacks
-
Uses of XNodeParent in org.xcsp.parser.loaders
Methods in org.xcsp.parser.loaders with parameters of type XNodeParent Modifier and Type Method Description boolean
ConstraintRecognizer. specificIntensionCases(String id, XNodeParent<XVariables.XVarInteger> tree, int arity)
Returnstrue
if a specific constraint, such as a primitive, logic, sum or extremum (minimum, maximum) constraint matches the specified predicate.
-