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

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).

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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.

allIds

public Set<String> allIds

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)