Package org.xcsp.parser.callbacks
Class XCallbacks.Implem
- java.lang.Object
-
- org.xcsp.parser.callbacks.XCallbacks.Implem
-
- Enclosing interface:
- XCallbacks
public static class XCallbacks.Implem extends Object
The class that contains all data structures (objects) that are used during the process of loading the XCSP3 instance.- Author:
- lecoutre
-
-
Field Summary
Fields Modifier and Type Field Description Set<String>
allIds
Map<Domains.IDom,Object>
cache4DomObject
The cache used to avoid creating several times similar domains.Map<Object,int[][]>
cache4Tuples
The cache used to avoid creating several times similar tables (arrays of tuples).static Long
CONVERSION_SPACE_LIMIT
The limit on the size of the Cartesian product of the domains of the variables, for trying a conversion (intension to extension).CtrLoaderInteger
ctrLoaderInteger
The object used to load integer constraints.CtrLoaderSymbolic
ctrLoaderSymbolic
The object used to load symbolic constraints.Map<XCallbacks.XCallbacksParameters,Object>
currParameters
The map containing the current parameters that are used to pilot the parser.Set<String>
postedRecognizedCtrs
The set that is used to determine if a "recognized" constraint has really be posted or not.
-
Constructor Summary
Constructors Constructor Description Implem(XCallbacks xc)
Builds the object that will be used during the process of loading an XCSP3 instance.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description String
manageIdFor(ParsingEntry ae)
void
rawParameters()
Makes current parameters in raw form, meaning that constraints will be given in their very original forms.void
resetStructures()
Resets the structures used when parsing a specific instance (e.g., caches for ids and tables).
-
-
-
Field Detail
-
ctrLoaderInteger
public final CtrLoaderInteger ctrLoaderInteger
The object used to load integer constraints.
-
ctrLoaderSymbolic
public final CtrLoaderSymbolic ctrLoaderSymbolic
The object used to load symbolic constraints.
-
cache4DomObject
public Map<Domains.IDom,Object> cache4DomObject
The cache used to avoid creating several times similar domains.
-
cache4Tuples
public Map<Object,int[][]> cache4Tuples
The cache used to avoid creating several times similar tables (arrays of tuples).
-
currParameters
public final Map<XCallbacks.XCallbacksParameters,Object> currParameters
The map containing the current parameters that are used to pilot the parser.
-
postedRecognizedCtrs
public Set<String> postedRecognizedCtrs
The set that is used to determine if a "recognized" constraint has really be posted or not.
-
CONVERSION_SPACE_LIMIT
public static final Long CONVERSION_SPACE_LIMIT
The limit on the size of the Cartesian product of the domains of the variables, for trying a conversion (intension to extension).
-
-
Constructor Detail
-
Implem
public Implem(XCallbacks xc)
Builds the object that will be used during the process of loading an XCSP3 instance.- Parameters:
xc
- the object XCallbacks for which this object is attached to
-
-
Method Detail
-
rawParameters
public void rawParameters()
Makes current parameters in raw form, meaning that constraints will be given in their very original forms.
-
resetStructures
public void resetStructures()
Resets the structures used when parsing a specific instance (e.g., caches for ids and tables).
-
manageIdFor
public String manageIdFor(ParsingEntry ae)
-
-