Package org.jacop.fz

Class Solve

  • All Implemented Interfaces:
    ParserTreeConstants

    public class Solve
    extends java.lang.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
    • Constructor Detail

      • 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