Package solver.constraints.nary.automata.FA.utils

Examples of solver.constraints.nary.automata.FA.utils.Bounds

830
831
832
833
834
835
836
837
838
839
840
    private void checkBounds() throws ContradictionException {
        List<ICounter> counters = pi.getCounters();
        int nbCounters = pi.getNbResources();
        for (int i = 0; i < nbCounters; i++) {
            IntVar z = this.z[i];
            Bounds bounds = counters.get(i).bounds();
            z.updateLowerBound(bounds.min.value, aCause);//, false);
            z.updateUpperBound(bounds.max.value, aCause);//, false);

        }
    }
View Full Code Here
93
94
95
96
97
98
99
100
101
102
     *
     * @throws solver.exception.ContradictionException
     *          if initialisation encounters a contradiction
     */
    protected void initialize() throws ContradictionException {
        Bounds bounds = this.cautomaton.getCounters().get(0).bounds();
        vars[zIdx].updateLowerBound(bounds.min.value, aCause);
        vars[zIdx].updateUpperBound(bounds.max.value, aCause);
        this.prefilter();
    }
View Full Code Here
TOP

Related Classes of solver.constraints.nary.automata.FA.utils.Bounds

  • solver.constraints.nary.automata.PropCostRegular
  • solver.constraints.nary.automata.PropMultiCostRegular
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.