e-constraints.net
the home of Explanation-based Constraint Programming
Search
Introduction
Implementations
Applications
Pointers
e-constraints.net
:
Implementations
:
PaLM
:
Manual
: Reference
PaLM
reference
Select a
PaLM class
to browse
Select a
PaLM method
to browse
PaLM classes
A
AssignmentConstraint
D
DecInf
E
Explanation
I
IncSup
P
PalmA
PalmAC4BinConstraint
PalmAssignMinDomDegVar
PalmAssignMinDomVar
PalmAssignVar
PalmB
PalmBinIntConstraint
PalmBinTerm
PalmBoundExplanation
PalmBranchAndBound
PalmBranching
PalmC
PalmCardinality
PalmCompleteAllDiff
PalmConjunction
PalmContradiction
PalmContradictionExplanation
PalmControlConstraint
PalmD
PalmDecSupExplanation
PalmDisjunction
PalmE
PalmElt
PalmEltTerm
PalmEngine
PalmEqualxc
PalmEqualxyc
PalmEquiv
PalmExtend
PalmG
PalmGlobalCardinality
PalmGlobalCardinalityVar
PalmGreaterOrEqualxc
PalmGreaterOrEqualxyc
PalmGuard
PalmI
PalmIncInfExplanation
PalmInfoConstraint
PalmIntDomain
PalmIntVar
PalmL
PalmLargeConjunction
PalmLargeDisjunction
PalmLargeIntConstraint
PalmLearn
PalmLessOrEqualxc
PalmLessOrEqualxyc
PalmLinComb
PalmLinTerm
PalmN
PalmNotEqualxc
PalmNotEqualxyc
PalmO
PalmOccurTerm
PalmOccurrence
PalmP
PalmPermutation
PalmProblem
PalmR
PalmRemovalExplanation
PalmRepair
PalmS
PalmSolution
PalmSolver
PalmSolverTools
PalmState
PalmT
PalmTempTerm
PalmTools
PalmU
PalmUnIntConstraint
PalmUnTerm
PalmUnsureExtend
PalmUnsureRepair
PalmUserFriendlyBox
PathRepairLearn
V
ValueRestorations
PaLM methods
Non-alphabetic
!==
%
*
+
-
<
<=
==
>
>=
U
a
abstractDecInf
abstractIncSup
abstractRestoreVal
activate
add
addControl
addDecision
addDependencies
addDependency
addForbiddenSituation
askIfEntailed
assign
assignIndices
attachPalmBranchings
attachPalmExtend
attachPalmLearn
attachPalmRepair
attachPalmState
awake
awakeOnInf
awakeOnInst
awakeOnRem
awakeOnRestore
awakeOnRestoreInf
awakeOnRestoreSup
awakeOnRestoreVal
awakeOnSup
b
becauseOf
c
canBeInstantiatedTo
checkAcceptable
checkAcceptableRelaxation
checkConstraintState
checkFullPalm
checkNbPossible
checkNbSure
checkPalm
checkStatusAndReport
checkVariableDomainAgainstRemValEvt
clean
code29bits
computeLowerBound
computeUpperBound
computeVarIdxInOpposite
connectEvents
connectHook
contains
contains?
copy
d
deactivate
decRuntimeStatistic
decode29bits
delete
deleteEdgeAndPublish
discardCurrentSolution
disconnectEvents
disconnectHook
domainSequence
domainSet
e
e-allDifferent
e-and
e-atleast
e-atmost
e-card
e-completeAllDiff
e-gcc
e-ifThen
e-iff
e-implies
e-or
e-permutation
e-scalar
e-sumVars
empties
empty?
endInfoBox
explain
explainFalseConstraints
explainTrueConstraints
explainVariablesLB
explainVariablesUB
explore
extend
f
filterOnImprovedLowerBound
filterOnImprovedUpperBound
firstElement
firstValue
flushEvents
g
getConstraints
getGlobalStatistics
getInf
getNextActiveEventQueue
getNextDecisions
getObjectiveValue
getRuntimeStatistic
getSize
getSup
i
incRuntimeStatistic
indirect?
informConstraintsInExplanation
informControllersOfDeactivation
initHook
initPalmBranchAndBound
initPalmSolver
instantiate
isForbidden
isInstantiatedTo
iterate
l
learnFromContradiction
learnFromRejection
learnFromRemoval
list!
m
makeAC4constraint
makeBoundIntVar
makeConstantPalmIntVar
makeDecSupExplanation
makeIncInfExplanation
makeIntVar
makePalmBinIntConstraint
makePalmCardinalityConstraint
makePalmEltConstraint
makePalmEngine
makePalmIntDomain
makePalmLargeIntConstraint
makePalmLinComb
makePalmOccurConstraint
makePalmProblem
makePalmUnIntConstraint
makePathRepairLearn
makeRemovalExplanation
makeValueRestorations
maximize
minimize
n
needToAwake
negate
nth
o
opposite
p
post
postDynamicCut
postRemoveVal
postRestoreEvent
postRestoreInf
postRestoreSup
postRestoreVal
postUndoRemoval
printRuntimeStatistics
project
propagate
propagateAllDecisionConstraints
propagateEvent
propagateNewLowerBound
propagateNewUpperBound
publishDeletion
r
raisePalmContradiction
raisePalmFakeContradiction
raiseSystemContradiction
reconnectEvents
reconnectHook
remVal
remove
removeDecision
removeDependencies
removeDependency
removeIndirectDependance
removeVal
removedlist!
repair
reset
resetEvents
restoreInf
restoreSup
restoreVal
restoreVariableExplanation
restoreVariableExplanations
reverseDecision
run
runonce
s
searchOneSolution
selectAuthorizedDecisions
selectBranchingItem
selectDecisionToUndo
selectDecisions
self_explain
self_print
set!
setDirect
setIndirect
setIndirectDependance
setMax
setMin
setNeedToAwake
setObjective
setRuntimeStatistic
setSolutionVars
setUserRepresentation
setVal
showInfoBox
size
solutions
solve
sortConstraintsToUndo
startInfoBox
storeSolution
t
takeIntoAccountStatusChange
testIfCompletelyInstantiated
testIfSatisfied
theDom
theHole
theInf
theSup
u
undo
updateDataStructures
updateDataStructuresOnConstraint
updateDataStructuresOnConstraints
updateDataStructuresOnRestore
updateDataStructuresOnRestoreConstraint
updateDataStructuresOnRestoreConstraints
updateDataStructuresOnRestoreVariable
updateDataStructuresOnVariable
updateIndexFromValue
updateInf
updateSup
updateValueFromIndex
v
valid?
w
weight
whyIsFalse
whyIsTrue
whyTrueOrFalse
-
Last modified: Sat Nov 17 14:55:14 Paris, Madrid 2001 by
Webmaster