Examples of solver.exception.ContradictionException

solver.exception.ContradictionException
A specific Exception to deal with contradiction.
A contradiction appears when at least one Variable object is not coherent regarding all or part of Constraint network. Empty domain, instantiation to an out-of-domain value, etc. throws contradiction.
For performance consideration, a ContradictionException is created every time a contradiction occurs. A unique object is build and set with specific case information. @author Xavier Lorca @author Charles Prud'homme @version 0.01, june 2010 @since 0.01

    private boolean init; // is ready to propagate?


    final PropagationTrigger trigger; // an object that starts the propagation


    public TwoBucketPropagationEngine(Solver solver) {
        this.exception = new ContradictionException();
        this.environment = solver.getEnvironment();
        this.trigger = new PropagationTrigger(this, solver);


        variables = solver.getVars();
        List<Propagator> _propagators = new ArrayList<>();

View Full Code Here


    final PropagationTrigger trigger; // an object that starts the propagation




    public SevenQueuesPropagatorEngine(Solver solver) {
        this.exception = new ContradictionException();
        this.environment = solver.getEnvironment();
        this.trigger = new PropagationTrigger(this, solver);


        variables = solver.getVars();
        List<Propagator> _propagators = new ArrayList<>();

View Full Code Here

TOP

Related Classes of solver.exception.ContradictionException

solver.explanations.Explanation

solver.propagation.hardcoded.SevenQueuesPropagatorEngine

solver.propagation.hardcoded.TwoBucketPropagationEngine

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.