Package choco.palm.dbt.explain

This package contains generic interfaces and classes for storing and managing explanations.

See:
Description

Interface Summary

PalmExplanation	PalmExplanation interface.
SearchInfo	Information concerning constraints that can be learned during the search A Comparator has to be designed according to the searchInfo to compare.

Class Summary

BetterConstraintComparator	Standard Constraint Comparator.
GenericExplanation	Generic implementation of explanations.
PalmConstraintPlugin
PalmControlConstraint

Package choco.palm.dbt.explain Description

This package contains generic interfaces and classes for storing and managing explanations. An explanation is set of constraintts responsible for an inference (value withdrawal, bound modification...)