Package org.jacop.fz

Class Solve

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

public class Solve extends Object implements ParserTreeConstants
The parser part responsible for parsing the solve part of the flatzinc file, building a related search and executing it.

Current implementation runs also final search on all variables to ensure that they are ground.

Version:
4.8
  • 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<Var> variable_selection
    • list_seq_searches

      ArrayList<Search<Var>> list_seq_searches
    • debug

      boolean debug
    • heuristicSeqSearch

      boolean heuristicSeqSearch
    • costVariable

      Var costVariable
    • restartCalculator

      Calculator restartCalculator
    • rs

    • singleSearch

      boolean singleSearch
    • Result

      boolean Result
    • optimization

      boolean optimization
    • minimize

      boolean minimize
    • si

    • defaultSearch

      boolean defaultSearch
    • label

    • final_search_seq

      Search<Var> final_search_seq
    • flatzincDFS

      DepthFirstSearch<Var> flatzincDFS
    • flatzincVariableSelection

      SelectChoicePoint<Var> flatzincVariableSelection
    • flatzincCost

      Var flatzincCost
    • solveKind

      int solveKind
    • sat

    • lastSolution

      public StringBuffer lastSolution
    • failStatistics

    • 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