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

      • 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