Uses of Class
org.xcsp.common.predicates.XNodeParent

Packages that use XNodeParent

Package	Description
org.xcsp.common
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

Methods in org.xcsp.common that return XNodeParent

Modifier and Type	Method	Description
static XNodeParent<IVar>	Condition.toNode(IVar x, Condition condition)

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 operator abs applied to the specified operand.
default XNodeParent<IVar>	ProblemAPI.add(Object... operands)	Returns the root of a syntactic tree built with the operator add applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.and(Object... operands)	Returns the root of a syntactic tree built with the operator and 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 operator dist 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 operator div applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.eq(Object... operands)	Returns the root of a syntactic tree built with the operator eq 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 operator ge 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 operator gt applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.iff(Object... operands)	Returns the root of a syntactic tree built with the operator iff 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 operator if 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 operator imp applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.in(Object var, Object set)	Returns the root of a syntactic tree built with the operator in 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 operator le 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 operator lt applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.max(Object... operands)	Returns the root of a syntactic tree built with the operator max applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.min(Object... operands)	Returns the root of a syntactic tree built with the operator min 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 operator mod applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.mul(Object... operands)	Returns the root of a syntactic tree built with the operator mul applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.ne(Object... operands)	Returns the root of a syntactic tree built with the operator ne applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.neg(Object operand)	Returns the root of a syntactic tree built with the unary operator neg applied to the specified operand.
default XNodeParent<IVar>	ProblemAPI.not(Object operand)	Returns the root of a syntactic tree built with the unary operator not applied to the specified operand.
default XNodeParent<IVar>	ProblemAPI.notin(Object var, Object set)	Returns the root of a syntactic tree built with the operator notin applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.or(Object... operands)	Returns the root of a syntactic tree built with the operator or 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 operator pow 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 operator sqr 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 operator sub applied to the specified operands.
default XNodeParent<IVar>	ProblemAPI.xor(Object... operands)	Returns the root of a syntactic tree built with the operator xor 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 constraint extension from the specified syntactic tree (predicate).
default CtrEntities.CtrAlone	ProblemAPI.extensionDisjunction(XNodeParent<IVar>... trees)
default CtrEntities.CtrEntity	ProblemAPI.intension(XNodeParent<IVar> tree)	Builds a constraint intension 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

Methods in org.xcsp.parser.callbacks with parameters of type XNodeParent

Modifier and Type	Method	Description
void	CompetitionValidator.buildCtrIntension(String id, XVariables.XVarInteger[] scope, XNodeParent<XVariables.XVarInteger> tree)
void	SolutionChecker.buildCtrIntension(String id, XVariables.XVarInteger[] scope, XNodeParent<XVariables.XVarInteger> tree)
void	SolutionChecker.buildCtrIntension(String id, XVariables.XVarSymbolic[] scope, XNodeParent<XVariables.XVarSymbolic> tree)
void	XCallbacks.buildCtrIntension(String id, XVariables.XVarInteger[] scope, XNodeParent<XVariables.XVarInteger> tree)	Callback method for building a constraint intension from the specified syntactic tree.
void	XCallbacks.buildCtrIntension(String id, XVariables.XVarSymbolic[] scope, XNodeParent<XVariables.XVarSymbolic> syntaxTreeRoot)
default void	XCallbacks2.buildCtrIntension(String id, XVariables.XVarInteger[] scope, XNodeParent<XVariables.XVarInteger> tree)
default void	XCallbacks2.buildCtrIntension(String id, XVariables.XVarSymbolic[] scope, XNodeParent<XVariables.XVarSymbolic> syntaxTreeRoot)
void	CompetitionValidator.buildObjToMaximize(String id, XNodeParent<XVariables.XVarInteger> tree)
void	SolutionChecker.buildObjToMaximize(String id, XNodeParent<XVariables.XVarInteger> tree)
void	XCallbacks.buildObjToMaximize(String id, XNodeParent<XVariables.XVarInteger> tree)
default void	XCallbacks2.buildObjToMaximize(String id, XNodeParent<XVariables.XVarInteger> tree)
void	CompetitionValidator.buildObjToMinimize(String id, XNodeParent<XVariables.XVarInteger> tree)
void	SolutionChecker.buildObjToMinimize(String id, XNodeParent<XVariables.XVarInteger> tree)
void	XCallbacks.buildObjToMinimize(String id, XNodeParent<XVariables.XVarInteger> tree)
default void	XCallbacks2.buildObjToMinimize(String id, XNodeParent<XVariables.XVarInteger> tree)

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)	Returns true if a specific constraint, such as a primitive, logic, sum or extremum (minimum, maximum) constraint matches the specified predicate.