omnics.expl
Class AbstractExplainer

java.lang.Object
  omnics.event.SolverAdapter
      omnics.expl.AbstractExplainer

All Implemented Interfaces:

java.io.Serializable, SolverListener, Explainer

Direct Known Subclasses:

DefaultExplainer

public abstract class AbstractExplainer
extends SolverAdapter
implements Explainer

Author:

Cristian Frasinaru

See Also:

Serialized Form

Field Summary

protected SystematicSolver

solver

Constructor Summary

AbstractExplainer()

Method Summary

java.lang.String	explain() Constructs an explanation for: "why the problem is not consistent?" Must not be overriden.
java.lang.String	explain(Tuple tuple) Constructs an explanation: "why this tuple is not good?" Must not be overriden.
java.lang.String	explain(Var var, java.lang.Object val) Constructs an explanation for: "why x=a is not good?" Must not be overriden.
SystematicSolver	getSolver()
void	setSolver(SystematicSolver solver)

Methods inherited from class omnics.event.SolverAdapter

nogoodFound, problemFiltered, solutionExtended, solutionFound, solutionRestored, solverFinished, solverPaused, solverResumed, solverStarted, valueRemoved

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface omnics.expl.Explainer

create

Field Detail

solver

protected SystematicSolver solver

Constructor Detail

AbstractExplainer

public AbstractExplainer()

Method Detail

getSolver

public SystematicSolver getSolver()

Specified by:

getSolver in interface Explainer

setSolver

public void setSolver(SystematicSolver solver)

Specified by:

setSolver in interface Explainer

explain

public java.lang.String explain()

Constructs an explanation for: "why the problem is not consistent?" Must not be overriden. Override create instead.

Specified by:

explain in interface Explainer

explain

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

Constructs an explanation for: "why x=a is not good?" Must not be overriden. Override create instead.

Specified by:

explain in interface Explainer

explain

public java.lang.String explain(Tuple tuple)

Constructs an explanation: "why this tuple is not good?" Must not be overriden. Override create instead.

Specified by:

explain in interface Explainer