Examples of solver.explanations.ExplanationEngine

        this.cstrs = new Constraint[32];
        cIdx = 0;
        this.environment = environment;
        this.measures = new MeasuresRecorder(this); // must be created before calling search loop.
        this.search = new SearchLoop(this);
        this.explainer = new ExplanationEngine(this);
        this.creationTime -= System.nanoTime();
        this.cachedConstants = new TIntObjectHashMap<>(16, 1.5f, Integer.MAX_VALUE);
        this.engine = NoPropagationEngine.SINGLETON;
        ZERO = (BoolVar) VF.fixed(0, this);
        ONE = (BoolVar) VF.fixed(1, this);

    }




    @Override
    public void explain(Deduction d, Explanation e) {
        ExplanationEngine explainer = var.getSolver().getExplainer();
        if (branch == 1) {
            e.add(explainer.explain(getPositiveDeduction()));
        } else if (branch == 2) {
            e.add(explainer.explain(getNegativeDeduction()));
        } else {
            throw new SolverException("Cannot explain a decision which has not been applied or refuted");
        }
    }

Related Classes of solver.explanations.ExplanationEngine

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.