Class CtrLoaderInteger


  • public class CtrLoaderInteger
    extends Object
    This class allows us to load integer constraints, at parsing time.
    Author:
    Christophe Lecoutre -- lecoutre@cril.fr
    • Field Detail

      • N_MAX_VALUES

        public static final int N_MAX_VALUES
        Constant used to control the maximum allowed number of values in the domain of a variable.
        See Also:
        Constant Field Values
    • Constructor Detail

      • CtrLoaderInteger

        public CtrLoaderInteger​(XCallbacks xc)
        Builds an object that can be used to load integer constraints.
        Parameters:
        xc - the main parsing object, responsible for dealing with callback functions
    • Method Detail

      • trIntegers

        public static int[] trIntegers​(Object value)
        Transforms the specified object into a 1-dimensional array of integers
        Parameters:
        value - an object denoting a sequence of integers
        Returns:
        a 1-dimensional array of integers
      • load

        public void load​(XConstraints.XCtr c)
        Loads the specified object denoting a parsed constraint. A callback function (or possibly several) will be called.
        Parameters:
        c - an object denoting a parsed constraint