omnics.expl
Interface Explainer

All Known Implementing Classes:

AbstractExplainer, DefaultExplainer

public interface Explainer

Author:

Cristian Frasinaru

Method Summary

java.lang.String	create() Creates the explanation.
java.lang.String	explain() Constructs an explanation for: "why the problem is not consistent?".
java.lang.String	explain(Tuple tuple) Constructs an explanation: "why this tuple is not good?" Adds the explainer as a listener to the solver, sets the tuple as initial solution, starts the solver and when the solver is finished cals the create method.
java.lang.String	explain(Var var, java.lang.Object val) Constructs an explanation for: "why x=a is not good?" It actually calls: explain(var=val).
SystematicSolver	getSolver()
void	setSolver(SystematicSolver solver)

Method Detail

getSolver

SystematicSolver getSolver()

setSolver

void setSolver(SystematicSolver solver)

explain

java.lang.String explain()

Constructs an explanation for: "why the problem is not consistent?". It actually calls: explain(null).

explain

java.lang.String explain(Var var,
                         java.lang.Object val)

Constructs an explanation for: "why x=a is not good?" It actually calls: explain(var=val).

explain

java.lang.String explain(Tuple tuple)

Constructs an explanation: "why this tuple is not good?" Adds the explainer as a listener to the solver, sets the tuple as initial solution, starts the solver and when the solver is finished cals the create method.

create

java.lang.String create()

Creates the explanation.