Package org.xcsp.parser.entries
Class XConstraints.XAbstraction
- java.lang.Object
-
- org.xcsp.parser.entries.XConstraints.XAbstraction
-
- Enclosing class:
- XConstraints
public static final class XConstraints.XAbstraction extends Object
The class used for handling abstraction in constraint templates. Currently, it is possible to manage any number of abstract childs that are either totally abstract or abstract functional. Note that a child is totally abstract iff it only contains parameters (tokens of the form %i or %...), and that an abstract functional child is a child which has 'function' as type and which contains at least one parameter. When for a child a single value is expected, %... cannot be used. %... stands for all effective parameters that come after the one corresponding to the highest encountered numbered parameter.
-
-
Field Summary
Fields Modifier and Type Field Description XConstraints.CChild[]
abstractChilds
The abstract child elements from the list of child elements of a constraint template.
-
Constructor Summary
Constructors Constructor Description XAbstraction(XConstraints.CChild... abstractChilds)
-
-
-
Field Detail
-
abstractChilds
public final XConstraints.CChild[] abstractChilds
The abstract child elements from the list of child elements of a constraint template.
-
-
Constructor Detail
-
XAbstraction
public XAbstraction(XConstraints.CChild... abstractChilds)
-
-
Method Detail
-
concretize
public void concretize(Object[] args)
-
-