Package choco.palm.dbt.search

A package devoted to explanation based search.

See:
Description

Interface Summary

DecisionConstraint	An enumeration constraint like instantiation.
PalmAssignVar.ValueChooserWrapper

Class Summary

PalmAbstractBranchAndBound	J-CHOCO Copyright (C) F.
PalmAbstractBranching	Abstract class for branching algorithms.
PalmAbstractSolverTool
PalmAssignVar	A classic implementation of branching algorithm for Palm.
PalmBranchAndBound	An optimizing solver.
PalmExtend	An extension algorithm for Palm solvers.
PalmGlobalSearchSolver	A default solver for Palm.
PalmLearn
PalmRepair	A repairing algorithm.
PalmRepairLearn
PalmSolution	Solution for a Palm problem.
PalmState	Tool for maintaining the state of the search taht is the active posted decision constraint.
PalmTimeLimit
PalmUnsureExtend
PalmUnsureRepair
TraceState	Created by IntelliJ IDEA.

Exception Summary

PalmContradiction

Package choco.palm.dbt.search Description

A package devoted to explanation based search. It offers specialized branching tools, and a default sollving algorithm based on mac-dbt.