Examples of solver.exception.SolverException

solver.exception.SolverException
A specific RuntimeException that can be thrown during the normal execution of the problem resolution.
A method is not required to declare in its throws clause a SolverException that might be thrown during the execution of the method but not caught.
@author Arnaud Malapert @author Charles Prud'homme @since 20 juil. 2010


    public Explanation getUserExplanation() {
        if (userE) {
            return lastOne;
        } else {
            throw new SolverException("User explanation is not activated (see #activeUserExplanation).");
        }
    }

View Full Code Here

        affected.set(v2i.get(var.getId()));
    }


    @Override
    public void explain(Deduction d, Explanation e) {
        throw new SolverException("Activity does not modify variables on IVariableMonitor.onUpdate.\n" +
                "So it cannot explain value removals.");
    }

View Full Code Here

        }
    }


    @Override
    public void explain(Deduction d, Explanation e) {
        throw new SolverException("DomOverWDeg does not modify variables on IVariableMonitor.onUpdate.\n" +
                "So it cannot explain value removals.");
    }

View Full Code Here

0 1 2 3 4 5 6

TOP

Related Classes of solver.exception.SolverException

choco.SolverTest

solver.constraints.Arithmetic

solver.constraints.binary.DistanceXYC

solver.constraints.binary.PropDistanceXYC

solver.constraints.binary.PropScale

solver.constraints.extension.nary.IterTuplesTable

solver.constraints.extension.nary.PropLargeFC

solver.constraints.extension.nary.PropLargeGAC2001

solver.constraints.extension.nary.PropLargeGAC3rm

solver.constraints.extension.nary.TuplesLargeTable

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.