choco.palm
Interface ExplainedProblem

All Known Implementing Classes:

BendersProblem, JumpProblem, PalmProblem

public interface ExplainedProblem

Method Summary

void	explainedFail(Explanation exp) throws a contradiction with the corresponding explanation
AbstractConstraint	getConstraintNb(int nb)
ExplainedConstraintPlugin	makeConstraintPlugin(AbstractConstraint ct) Factory to create a constraint plugin
Explanation	makeExplanation() Factory to create explanation.
void	setContradictionExplanation(Explanation contradictionExplanation) set an explanation to know why the problem is over-constrained.

Method Detail

makeExplanation

Explanation makeExplanation()

Factory to create explanation. It offers the possibility to make another kind of explanation, only by extending PalmProblem

Returns:

the new explanation object

makeConstraintPlugin

ExplainedConstraintPlugin makeConstraintPlugin(AbstractConstraint ct)

Factory to create a constraint plugin

Parameters:

ct -

Returns:

explainedFail

void explainedFail(Explanation exp)
                   throws ContradictionException

throws a contradiction with the corresponding explanation

Parameters:

exp -

Throws:

ContradictionException

getConstraintNb

AbstractConstraint getConstraintNb(int nb)

Parameters:

nb - Constraint number (number affected when posting and stored in the variable plugin)

Returns:

Returns the constraint

setContradictionExplanation

void setContradictionExplanation(Explanation contradictionExplanation)

set an explanation to know why the problem is over-constrained.

Parameters:

contradictionExplanation -