Class DecisionMaker

  • Direct Known Subclasses:
    DecisionPath

    public class DecisionMaker
    extends Object
    A class that creates decisions on demand and maintains pool manager

    Project: choco-solver.

    Since:
    14/03/2016.
    Author:
    Charles Prud'homme
    • Constructor Detail

      • DecisionMaker

        public DecisionMaker()
        Create a decision maker, that eases decision creation.
    • Method Detail

      • makeIntDecision

        public IntDecision makeIntDecision​(IntVar var,
                                           DecisionOperator<IntVar> dop,
                                           int value)
        Creates and returns an IntDecision: "var dop value".
        Parameters:
        var - an integer variable
        dop - a decision operator
        value - a value
        Returns:
        an IntDecision
      • makeRealDecision

        public RealDecision makeRealDecision​(RealVar var,
                                             double value,
                                             double epsilon,
                                             boolean leftFirst)
        Creates and returns an RealDecision: "varvalue"
        which is refuted as "varvalue + epsilon".
        Parameters:
        var - a real variable
        value - a value
        epsilon - gap for refutation
        leftFirst - select left range first
        Returns:
        an RealDecision
      • makeSetDecision

        public SetDecision makeSetDecision​(SetVar var,
                                           DecisionOperator<SetVar> dop,
                                           int value)
        Creates and returns an SetDecision: "var dop value".
        Parameters:
        var - a set variable
        dop - a decision operator
        value - a value
        Returns:
        an SetDecision