e-constraints.net
the home of Explanation-based Constraint Programming
Search

 Introduction   Implementations   Applications   Pointers 
e-constraints.net : Implementations : PaLM : Manual : Reference

PaLM reference


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