Package org.jacop.fz

Class Solve<T extends Var>

java.lang.Object
org.jacop.fz.Solve<T>
All Implemented Interfaces:
ParserTreeConstants

public class Solve<T extends Var> extends Object implements ParserTreeConstants
  • Field Details

    • dictionary

      Tables dictionary
    • options

      Options options
    • store

      Store store
    • initNumberConstraints

      int initNumberConstraints
    • timer

      Timer timer
    • startCPU

      long startCPU
    • initTime

      long initTime
    • searchTime

      long searchTime
    • variable_selection

      SelectChoicePoint<T extends Var> variable_selection
    • list_seq_searches

      ArrayList<Search<T extends Var>> list_seq_searches
    • debug

      boolean debug
    • heuristicSeqSearch

      boolean heuristicSeqSearch
    • costVariable

      Var costVariable
    • restartCalculator

      Calculator restartCalculator
    • rs

      RestartSearch<T extends Var> rs
    • singleSearch

      boolean singleSearch
    • result

      boolean result
    • optimization

      boolean optimization
    • minimize

      boolean minimize
    • si

      SearchItem<T extends Var> si
    • defaultSearch

      boolean defaultSearch
    • label

      DepthFirstSearch<T extends Var> label
    • final_search_seq

      Search<T extends Var> final_search_seq
    • flatzincDFS

      DepthFirstSearch<T extends Var> flatzincDFS
    • flatzincVariableSelection

      SelectChoicePoint<T extends Var> flatzincVariableSelection
    • flatzincCost

      Var flatzincCost
    • solveKind

      int solveKind
    • sat

    • lastSolution

      public StringBuffer lastSolution
    • failStatistics

    • nf

    • numberSolutions

      int numberSolutions
    • relaxVars

      IntVar[] relaxVars
    • probability

      int probability
    • finalNumberSolutions

      int finalNumberSolutions
    • p

      static final String p
  • Constructor Details

    • Solve

      public Solve(Store store, SatTranslation sat)
      It creates a parser for the solve part of the flatzinc file.
      Parameters:
      store - the constraint store within which context the search will take place.
      sat - sat translation used
  • Method Details