Class 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 Detail

      • abstractChilds

        public final XConstraints.CChild[] abstractChilds
        The abstract child elements from the list of child elements of a constraint template.
    • Method Detail

      • concretize

        public void concretize​(Object[] args)