Examples of solver.explanations.ExplanationEngine.explain()

Class solver.explanations.ExplanationEngine

Examples of solver.explanations.ExplanationEngine.explain()

solver.explanations.ExplanationEngine.explain()
Provides an explanation for the removal of value val from variable var ; the implementation is recording policy dependent for a flattened policy, the database is checked (automatically flattening explanations) for a non flattened policy, only the value removal is returned @param var an integer variable @param val an integer value @return a deduction


    @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");
        }

View Full Code Here

    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");
        }
    }

View Full Code Here

TOP

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.