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