Examples of solver.explanations.Explanation

solver.explanations.Explanation
An explanation is the combination of two sets: a set of deduction and a set of propagators. The deductions are stored in a list, and the uniqueness of elements is ensured during the add operation. This allows fast iteration over elements. The propagators are stored in the same way.
Created by IntelliJ IDEA. User: njussien Date: 26 oct. 2010 Time: 12:54:50 An explanation

    public synchronized Throwable fillInStackTrace() {
        return this;
    }


    public Explanation explain() {
        Explanation expl = new Explanation();
        if (v != null) {
            v.explain(VariableState.DOM, expl);
        } else {
            c.explain(null, expl);
        }

View Full Code Here

    }


    @Override
    public void onContradiction(ContradictionException cex) {
        assert (cex.v != null) || (cex.c != null) : this.getClass().getName() + ".onContradiction incoherent state";
        Explanation complete = mExplanationEngine.flatten(cex.explain());
        if (userE) {
            lastOne = complete;
        }
        if (Configuration.PRINT_EXPLANATION && LOGGER.isInfoEnabled()) {
            mExplanationEngine.onContradiction(cex, complete);

View Full Code Here

        Decision dec = mSolver.getSearchLoop().getLastDecision();
        while ((dec != RootDecision.ROOT) && (!dec.hasNext())) {
            dec = dec.getPrevious();
        }
        if (dec != RootDecision.ROOT) {
            Explanation explanation = new Explanation();
            Decision d = dec.getPrevious();
            while ((d != RootDecision.ROOT)) {
                if (d.hasNext()) {
                    explanation.add(d.getPositiveDeduction());
                }
                d = d.getPrevious();
            }
            mExplanationEngine.store(dec.getNegativeDeduction(), explanation);
        }

View Full Code Here

            solver.set(new RecorderExplanationEngine(solver));
            ConflictBasedBackjumping cbj = new ConflictBasedBackjumping(solver.getExplainer());
            cbj.activeUserExplanation(true);
//            SMF.shortlog(solver);
            Assert.assertFalse(solver.findSolution());
            Explanation exp = cbj.getUserExplanation();
            Assert.assertEquals(2, exp.nbPropagators());
        }
    }

View Full Code Here

TOP

Related Classes of solver.explanations.Explanation

choco.explanations.ExplanationTest

gnu.trove.set.hash.TIntHashSet

solver.explanations.strategies.ConflictBasedBackjumping

solver.exception.ContradictionException

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.