Class Config

All Implemented Interfaces:
Serializable, Cloneable, Map<Object,Object>

public class Config extends Properties
The configuration for a solver. It contains all numeric values or enumerations needed to set the solver behavior; those parameters can be changed before the Config object is given to the solver.
Version:
4.9
See Also:
  • Field Details

    • MAX_NUMBER_OF_DATABASES

      public int MAX_NUMBER_OF_DATABASES
      how many clausesDatabases can we have ? must be a power of 2
    • MEMORY_POOL_STOCK_SIZE

      public int MEMORY_POOL_STOCK_SIZE
      number of int[] of each size in the memory pool
    • MEMORY_POOL_MAX_SIZE

      public int MEMORY_POOL_MAX_SIZE
      the maximum size of int[] to store in the memory pool
    • rebase_threshold

      public int rebase_threshold
      threshold above which a rebase is performed for activity counters
    • bump_rate

      public int bump_rate
      the default bump rate. It is added to activity at each bump()
    • trail_size

      public int trail_size
      initial number of variables in the trail
    • verbosity

      public int verbosity
      controls default solver verbosity
    • timeout

      public long timeout
      the default timeout, in seconds, for searches.
    • debug

      public boolean debug
      switch for debug mode
    • seed

      public long seed
      random seed, to be changed if we want to redo the same run
    • RESTART_THRESHOLD_INCREASE_RATE

      public double RESTART_THRESHOLD_INCREASE_RATE
      factor by which restart threshold is increased
    • RESTART_CONFLICT_THRESHOLD

      public long RESTART_CONFLICT_THRESHOLD
      initial threshold (number of conflicts needed) for restarts
    • mainComponents

      public List<SolverComponent> mainComponents
      the list of components the solver must add
    • clausesDatabases

      public List<AbstractClausesDatabase> clausesDatabases
      the list of databases the solver must add
  • Constructor Details

    • Config

      public Config()
      constructor for config, that adds some default components. If you want to choose all components, just components.clear() (if you know what you do)
  • Method Details

    • toString

      public String toString()
      Overrides:
      toString in class Properties
    • check

      public boolean check()
      check some properties of the config
      Returns:
      true if the config passes check, false if there is a problem
    • defaultConfig

      public static Config defaultConfig()
      static access to the default config
      Returns:
      default config