Examples of kodkod.engine.config.Options

kodkod.engine.config.Options

lver factory to use @specfield reporter: Reporter // reporter to use @specfield symmetryBreaking: int // the amount of symmetry breaking to perform @specfield sharing: int // the depth to which circuits should be checked for equivalence during translation @specfield intEncoding: IntEncoding // encoding to use for translating int expressions @specfield bitwidth: int // the bitwidth to use for integer representation / arithmetic @specfield skolemDepth: int // skolemization depth @specfield flatten: boolean // eliminate intermediate variables when possible? default is false. @specfield logTranslation: [0..2] // log translation events, default is 0 (no logging) @specfield coreGranularity: [0..3] // unsat core granularity, default is 0 (only top-level conjuncts are considered) @author Emina Torlak

   * default Options object.
   * @effects this.instance' = instance && this.options' = new Options()
   * @throws NullPointerException - instance = null
   */
  public Evaluator(Instance instance) {
    this(instance, new Options());
  }

  /**
   * Constructs a new Solver with the default options.
   * @effects this.options' = new Options()
   */
  public Solver() {
    this.options = new Options();
  }

Examples of kodkod.engine.config.Options

Related Classes of kodkod.engine.config.Options