Package org.xcsp.parser.loaders
Class CtrLoaderInteger
- java.lang.Object
-
- org.xcsp.parser.loaders.CtrLoaderInteger
-
public class CtrLoaderInteger extends Object
This class allows us to load integer constraints, at parsing time.- Author:
- Christophe Lecoutre -- lecoutre@cril.fr
-
-
Field Summary
Fields Modifier and Type Field Description static int
N_MAX_VALUES
Constant used to control the maximum allowed number of values in the domain of a variable.
-
Constructor Summary
Constructors Constructor Description CtrLoaderInteger(XCallbacks xc)
Builds an object that can be used to load integer constraints.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
load(XConstraints.XCtr c)
Loads the specified object denoting a parsed constraint.
-
-
-
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
-
-