Index

LOP

L

LP
config
get: 3.1 The Module LP
put: 3.1 The Module LP
solve: 3.1 The Module LP

O

OZ_copyChars: 1.9 Auxiliary Interface Functions
OZ_copyCInts: 1.9 Auxiliary Interface Functions
OZ_Ct
copy: 2.4 The class OZ_Ct
getProfile: 2.4 The class OZ_Ct
getWakeUpDescriptor: 2.4 The class OZ_Ct
isValid: 2.4 The class OZ_Ct
isValue: 2.4 The class OZ_Ct
isWeakerThan: 2.4 The class OZ_Ct
operator delete: 2.4 The class OZ_Ct
operator new: 2.4 The class OZ_Ct
OZ_Ct: 2.4 The class OZ_Ct
sizeOf: 2.4 The class OZ_Ct
toString: 2.4 The class OZ_Ct
toValue: 2.4 The class OZ_Ct
unify: 2.4 The class OZ_Ct , 2.4 The class OZ_Ct
OZ_CtDefinition
getKind: 2.1 The class OZ_CtDefinition
getName: 2.1 The class OZ_CtDefinition
getNamesOfWakeUpLists: 2.1 The class OZ_CtDefinition
getNoOfWakeUpLists: 2.1 The class OZ_CtDefinition
isValidValue: 2.1 The class OZ_CtDefinition
leastConstraint: 2.1 The class OZ_CtDefinition
OZ_CtProfile
init: 2.3 The class OZ_CtProfile
OZ_CtProfile: 2.3 The class OZ_CtProfile
OZ_CtVar
ask: 2.5.2 Provided Members
ctGetConstraint: 2.5.1 Members to be Defined
ctGetConstraintProfile: 2.5.1 Members to be Defined
ctRefConstraint: 2.5.1 Members to be Defined
ctRestoreConstraint: 2.5.1 Members to be Defined
ctSaveConstraint: 2.5.1 Members to be Defined
ctSaveEncapConstraint: 2.5.1 Members to be Defined
ctSetConstraintProfile: 2.5.1 Members to be Defined
ctSetValue: 2.5.1 Members to be Defined
dropParameter: 1.4.3 Member Functions, 1.6.3 Member Functions, 2.5.2 Provided Members
fail: 2.5.2 Provided Members
isTouched: 2.5.1 Members to be Defined
leave: 2.5.2 Provided Members
operator delete: 2.5.2 Provided Members
operator delete[]: 2.5.2 Provided Members
operator new: 2.5.2 Provided Members
operator new[]: 2.5.2 Provided Members
OZ_CtVar: 2.5.2 Provided Members
read: 2.5.2 Provided Members
readEncap: 2.5.2 Provided Members
OZ_CtWakeUp
getWakeUpAll: 2.2 The class OZ_CtWakeUp
init: 2.2 The class OZ_CtWakeUp
isEmpty: 2.2 The class OZ_CtWakeUp
isWakeUp: 2.2 The class OZ_CtWakeUp
setWakeUp: 2.2 The class OZ_CtWakeUp
OZ_EM: 1.2.6 Macros
OZ_EXPECT: 1.2.6 Macros
OZ_expect: 1.2.2 Constructor and Destructor
OZ_expect
~OZ_expect: 1.2.2 Constructor and Destructor
collectVarsOff: 1.2.5 Member Functions for Control Purposes
collectVarsOn: 1.2.5 Member Functions for Control Purposes
expectBoolVar: 1.2.4 Member Functions for Checking the Constraint Store
expectDomDescr: 1.2.4 Member Functions for Checking the Constraint Store
expectFloat: 1.2.4 Member Functions for Checking the Constraint Store
expectFSetDescr: 1.2.4 Member Functions for Checking the Constraint Store
expectFSetValue: 1.2.4 Member Functions for Checking the Constraint Store
expectFSetVar: 1.2.4 Member Functions for Checking the Constraint Store
expectGenCtVar: 1.2.4 Member Functions for Checking the Constraint Store
expectInt: 1.2.4 Member Functions for Checking the Constraint Store
expectIntVar: 1.2.4 Member Functions for Checking the Constraint Store
expectList: 1.2.4 Member Functions for Checking the Constraint Store
expectLiteral: 1.2.4 Member Functions for Checking the Constraint Store
expectLiteralOutOf: 1.2.4 Member Functions for Checking the Constraint Store
expectProperRecord: 1.2.4 Member Functions for Checking the Constraint Store, 1.2.4 Member Functions for Checking the Constraint Store
expectProperTuple: 1.2.4 Member Functions for Checking the Constraint Store
expectRecordVar: 1.2.4 Member Functions for Checking the Constraint Store
expectStream: 1.2.4 Member Functions for Checking the Constraint Store
expectVar: 1.2.4 Member Functions for Checking the Constraint Store
expectVector: 1.2.4 Member Functions for Checking the Constraint Store
fail: 1.2.5 Member Functions for Control Purposes
impose: 1.2.5 Member Functions for Control Purposes
isExceptional: 1.2.5 Member Functions for Control Purposes
isFailing: 1.2.5 Member Functions for Control Purposes
isSuspending: 1.2.5 Member Functions for Control Purposes
suspend: 1.2.5 Member Functions for Control Purposes
OZ_EXPECT_SUSPEND: 1.2.6 Macros
OZ_expect_t: 1.2.1 Types
OZ_EXPECTED_TYPE: 1.2.6 Macros
OZ_ExpectMeth: 1.2.1 Types
OZ_FDIntVar: 1.4.1 Constructor Member Functions, 1.4.1 Constructor Member Functions
OZ_FDIntVar
ask: 1.4.3 Member Functions
delete: 1.4.2 Operator Member Functions
delete[]: 1.4.2 Operator Member Functions
fail: 1.4.3 Member Functions
isTouched: 1.4.3 Member Functions
leave: 1.4.3 Member Functions
new: 1.4.2 Operator Member Functions
new[]: 1.4.2 Operator Member Functions
operator *: 1.4.2 Operator Member Functions
operator ->: 1.4.2 Operator Member Functions
read: 1.4.3 Member Functions
readEncap: 1.4.3 Member Functions
OZ_FDPropState: 1.2.1 Types
OZ_FDState: 1.5.1 Miscellaneous
OZ_findEqualVars: 1.9 Auxiliary Interface Functions
OZ_findSingletons: 1.9 Auxiliary Interface Functions
OZ_FiniteDomain: 1.5.2 Constructor Member Functions, 1.5.2 Constructor Member Functions, 1.5.2 Constructor Member Functions, 1.5.2 Constructor Member Functions, 1.5.2 Constructor Member Functions
OZ_FiniteDomain
constrainBool: 1.5.6 Auxiliary Member Functions
copyExtension: 1.5.6 Auxiliary Member Functions
disposeExtension: 1.5.6 Auxiliary Member Functions
getLowerIntervalBd: 1.5.4 Reflection Member Functions
getMaxElem: 1.5.4 Reflection Member Functions
getMidElem: 1.5.4 Reflection Member Functions
getMinElem: 1.5.4 Reflection Member Functions
getNextLargerElem: 1.5.4 Reflection Member Functions
getNextSmallerElem: 1.5.4 Reflection Member Functions
getSingleElem: 1.5.4 Reflection Member Functions
getSize: 1.5.4 Reflection Member Functions
getUpperIntervalBd: 1.5.4 Reflection Member Functions
initBool: 1.5.3 Initialisation Member Functions
initDescr: 1.5.3 Initialisation Member Functions
initEmpty: 1.5.3 Initialisation Member Functions
initFull: 1.5.3 Initialisation Member Functions
initRange: 1.5.3 Initialisation Member Functions
initSingleton: 1.5.3 Initialisation Member Functions
intersectWithBool: 1.5.6 Auxiliary Member Functions
isIn: 1.5.6 Auxiliary Member Functions
operator !=: 1.5.5 Operator Member Functions, 1.5.5 Operator Member Functions
operator &: 1.5.5 Operator Member Functions
operator &=: 1.5.5 Operator Member Functions
operator >=: 1.5.5 Operator Member Functions
operator <=: 1.5.5 Operator Member Functions
operator +=: 1.5.5 Operator Member Functions
operator -=: 1.5.5 Operator Member Functions, 1.5.5 Operator Member Functions
operator =: 1.5.5 Operator Member Functions
operator ==: 1.5.5 Operator Member Functions, 1.5.5 Operator Member Functions
operator |: 1.5.5 Operator Member Functions
operator ~: 1.5.5 Operator Member Functions
toString: 1.5.6 Auxiliary Member Functions
OZ_FSetConstraint: 1.8.1 Constructor Member Functions
OZ_FSetConstraint
copyExtension: 1.8.5 Auxiliary Member Functions
disposeExtension: 1.8.5 Auxiliary Member Functions
ge: 1.8.4 Imposing Constraints
getCardMax: 1.8.3 Reflection Member Functions
getCardMin: 1.8.3 Reflection Member Functions
getCardSize: 1.8.3 Reflection Member Functions
getCardTuple: 1.8.3 Reflection Member Functions
getGlbCard: 1.8.3 Reflection Member Functions
getGlbMaxElem: 1.8.3 Reflection Member Functions
getGlbMinElem: 1.8.3 Reflection Member Functions
getGlbNextLargerElem: 1.8.3 Reflection Member Functions
getGlbNextSmallerElem: 1.8.3 Reflection Member Functions
getGlbSet: 1.8.3 Reflection Member Functions
getKnownIn: 1.8.3 Reflection Member Functions
getKnownInList: 1.8.3 Reflection Member Functions
getKnownNotIn: 1.8.3 Reflection Member Functions
getKnownNotInList: 1.8.3 Reflection Member Functions
getLubCard: 1.8.3 Reflection Member Functions
getLubList: 1.8.3 Reflection Member Functions
getLubMaxElem: 1.8.3 Reflection Member Functions
getLubMinElem: 1.8.3 Reflection Member Functions
getLubNextLargerElem: 1.8.3 Reflection Member Functions
getLubNextSmallerElem: 1.8.3 Reflection Member Functions
getLubSet: 1.8.3 Reflection Member Functions
getNotInCard: 1.8.3 Reflection Member Functions
getNotInMaxElem: 1.8.3 Reflection Member Functions
getNotInMinElem: 1.8.3 Reflection Member Functions
getNotInNextLargerElem: 1.8.3 Reflection Member Functions
getNotInNextSmallerElem: 1.8.3 Reflection Member Functions
getNotInSet: 1.8.3 Reflection Member Functions
getUnknown: 1.8.3 Reflection Member Functions
getUnknownCard: 1.8.3 Reflection Member Functions
getUnknownList: 1.8.3 Reflection Member Functions
getUnknownMaxElem: 1.8.3 Reflection Member Functions
getUnknownMinElem: 1.8.3 Reflection Member Functions
getUnknownNextLargerElem: 1.8.3 Reflection Member Functions
getUnknownNextSmallerElem: 1.8.3 Reflection Member Functions
getUnknownSet: 1.8.3 Reflection Member Functions
init: 1.8.2 Initialization Member Functions, 1.8.2 Initialization Member Functions, 1.8.2 Initialization Member Functions
isEmpty: 1.8.5 Auxiliary Member Functions
isFull: 1.8.5 Auxiliary Member Functions
isIn: 1.8.5 Auxiliary Member Functions
isNotIn: 1.8.5 Auxiliary Member Functions
isSubsumedBy: 1.8.5 Auxiliary Member Functions
isValue: 1.8.5 Auxiliary Member Functions
le: 1.8.4 Imposing Constraints
operator !=: 1.8.4 Imposing Constraints
operator %: 1.8.4 Imposing Constraints
operator &: 1.8.4 Imposing Constraints
operator >=: 1.8.4 Imposing Constraints
operator <<=: 1.8.4 Imposing Constraints
operator <=: 1.8.4 Imposing Constraints
operator +=: 1.8.4 Imposing Constraints
operator -: 1.8.4 Imposing Constraints, 1.8.4 Imposing Constraints
operator -=: 1.8.4 Imposing Constraints
operator =: 1.8.4 Imposing Constraints
operator ==: 1.8.4 Imposing Constraints
operator |: 1.8.4 Imposing Constraints
putCard: 1.8.5 Auxiliary Member Functions
toString: 1.8.5 Auxiliary Member Functions
OZ_FSetPropState: 1.2.1 Types
OZ_FSetState: 1.7.1 Miscellaneous
OZ_fsetValue: 1.9 Auxiliary Interface Functions
OZ_FSetValue: 1.7.2 Constructor Member Functions, 1.7.2 Constructor Member Functions, 1.7.2 Constructor Member Functions, 1.7.2 Constructor Member Functions, 1.7.2 Constructor Member Functions
OZ_FSetValue
copyExtension: 1.7.5 Auxiliary Member Functions
disposeExtension: 1.7.5 Auxiliary Member Functions
getCard: 1.7.5 Auxiliary Member Functions
getKnownInList: 1.7.3 Reflection Member Functions
getKnownNotIn: 1.7.5 Auxiliary Member Functions
getKnownNotInList: 1.7.3 Reflection Member Functions
getMaxElem: 1.7.3 Reflection Member Functions
getMinElem: 1.7.3 Reflection Member Functions
getNextLargerElem: 1.7.3 Reflection Member Functions
getNextSmallerElem: 1.7.3 Reflection Member Functions
isIn: 1.7.5 Auxiliary Member Functions
isNotIn: 1.7.5 Auxiliary Member Functions
operator &: 1.7.4 Operator Member Functions
operator &=: 1.7.4 Operator Member Functions, 1.7.4 Operator Member Functions
operator <=: 1.7.4 Operator Member Functions
operator +=: 1.7.4 Operator Member Functions
operator -: 1.7.4 Operator Member Functions, 1.7.4 Operator Member Functions
operator -=: 1.7.4 Operator Member Functions
operator ==: 1.7.4 Operator Member Functions
operator |: 1.7.4 Operator Member Functions
operator |=: 1.7.4 Operator Member Functions
toString: 1.7.5 Auxiliary Member Functions
OZ_FSetValueandinit: 1.7.5 Auxiliary Member Functions
OZ_fsetValueToC: 1.9 Auxiliary Interface Functions
OZ_FSetVar: 1.6.1 Constructor Member Functions, 1.6.1 Constructor Member Functions
OZ_FSetVar
ask: 1.6.3 Member Functions
delete: 1.6.2 Operator Member Functions
delete[]: 1.6.2 Operator Member Functions
fail: 1.6.3 Member Functions
isTouched: 1.6.3 Member Functions
leave: 1.6.3 Member Functions
new: 1.6.2 Operator Member Functions
new[]: 1.6.2 Operator Member Functions
operator *: 1.6.2 Operator Member Functions
operator ->: 1.6.2 Operator Member Functions
read: 1.6.3 Member Functions
readEncap: 1.6.3 Member Functions
OZ_gCollectAllocBlock: 1.9 Auxiliary Interface Functions
OZ_gCollectBlock: 1.9 Auxiliary Interface Functions
OZ_gCollectTerm: 1.9 Auxiliary Interface Functions
OZ_getCIntVector: 1.9 Auxiliary Interface Functions
OZ_getFDInf: 1.9 Auxiliary Interface Functions
OZ_getFDSup: 1.9 Auxiliary Interface Functions
OZ_getFSetInf: 1.9 Auxiliary Interface Functions
OZ_getFSetSup: 1.9 Auxiliary Interface Functions
OZ_getOzTermVector: 1.9 Auxiliary Interface Functions
OZ_hallocChars: 1.9 Auxiliary Interface Functions
OZ_hallocCInts: 1.9 Auxiliary Interface Functions
OZ_hallocOzTerms: 1.9 Auxiliary Interface Functions
OZ_hfreeChars: 1.9 Auxiliary Interface Functions
OZ_hfreeCInts: 1.9 Auxiliary Interface Functions
OZ_hfreeOzTerms: 1.9 Auxiliary Interface Functions
OZ_isEqualVars: 1.9 Auxiliary Interface Functions
OZ_isPosSmallInt: 1.9 Auxiliary Interface Functions
OZ_Propagator: 1.3.1 Constructor and Destructor Member Functions
OZ_Propagator
~OZ_Propagator: 1.3.1 Constructor and Destructor Member Functions
addImpose: 1.3.3 Provided Member Functions
delete: 1.3.2 Operator Member Functions
gCollect: 1.3.4 Member Functions to be Defined by the Programmer
getParameters: 1.3.4 Member Functions to be Defined by the Programmer
getProfile: 1.3.4 Member Functions to be Defined by the Programmer
impose: 1.3.3 Provided Member Functions
imposeOn: 1.3.3 Provided Member Functions
mayBeEqualVars: 1.3.3 Provided Member Functions
new: 1.3.2 Operator Member Functions
postpone: 1.3.3 Provided Member Functions
propagate: 1.3.4 Member Functions to be Defined by the Programmer
replaceBy: 1.3.3 Provided Member Functions, 1.3.3 Provided Member Functions
replaceByInt: 1.3.3 Provided Member Functions
sClone: 1.3.4 Member Functions to be Defined by the Programmer
sizeOf: 1.3.4 Member Functions to be Defined by the Programmer
toString: 1.3.3 Provided Member Functions
OZ_sCloneAllocBlock: 1.9 Auxiliary Interface Functions
OZ_sCloneBlock: 1.9 Auxiliary Interface Functions
OZ_sCloneTerm: 1.9 Auxiliary Interface Functions
OZ_typeErrorCPI: 1.9 Auxiliary Interface Functions
OZ_vectorSize: 1.9 Auxiliary Interface Functions
OZFSetConstraint_: 1.8.1 Constructor Member Functions, 1.8.1 Constructor Member Functions, 1.8.1 Constructor Member Functions

P

PEL_EventList
add : 4.3 The class PEL_EventList
getHigh : 4.3 The class PEL_EventList
operator [] : 4.3 The class PEL_EventList
wakeup : 4.3 The class PEL_EventList
PEL_FDEventList
gc : 4.10 The class PEL_FDEventLists
getSingleValue : 4.10 The class PEL_FDEventLists
PEL_FDProfile : 4.9 The class PEL_FDProfile
PEL_FDProfile
getBounds : 4.10 The class PEL_FDEventLists
init : 4.9 The class PEL_FDProfile
isTouched : 4.9 The class PEL_FDProfile
isTouchedBounds : 4.9 The class PEL_FDProfile
isTouchedLowerBound : 4.9 The class PEL_FDProfile
isTouchedSingleValue : 4.9 The class PEL_FDProfile
isTouchedUpperBound : 4.9 The class PEL_FDProfile
isTouchedWidth : 4.9 The class PEL_FDProfile
PEL_FSetEventList
gc : 4.8 The class PEL_FSetEventLists
getSingleValue : 4.8 The class PEL_FSetEventLists
getUpperBound : 4.8 The class PEL_FSetEventLists
PEL_FSetProfile : 4.7 The class PEL_FSetProfile
PEL_FSetProfile
getLowerBound : 4.8 The class PEL_FSetEventLists
init : 4.7 The class PEL_FSetProfile
isTouched : 4.7 The class PEL_FSetProfile
isTouchedLowerBound : 4.7 The class PEL_FSetProfile
isTouchedSingleValue : 4.7 The class PEL_FSetProfile
isTouchedUpperBound : 4.7 The class PEL_FSetProfile
PEL_ParamTable
add : 4.2 The class PEL_ParamTable
getHigh : 4.2 The class PEL_ParamTable
operator [] : 4.2 The class PEL_ParamTable
PEL_PropFnctTable : 4.5 The class PEL_PropFnctTable
PEL_PropFnctTable
add : 4.5 The class PEL_PropFnctTable
PEL_PropFnctTableEntry : 4.4 The class PEL_PropFnctTableEntry
PEL_PropFnctTableEntry
getFnct : 4.4 The class PEL_PropFnctTableEntry
getParamIdx : 4.4 The class PEL_PropFnctTableEntry
isDead : 4.4 The class PEL_PropFnctTableEntry
isScheduled : 4.4 The class PEL_PropFnctTableEntry
setDead : 4.4 The class PEL_PropFnctTableEntry
setScheduled : 4.4 The class PEL_PropFnctTableEntry
unsetScheduled : 4.4 The class PEL_PropFnctTableEntry
PEL_PropQueue : 4.6 The class PEL_PropQueue
PEL_PropQueue
apply : 4.6 The class PEL_PropQueue
decAPF : 4.6 The class PEL_PropQueue
dequeue : 4.6 The class PEL_PropQueue
enqueue : 4.6 The class PEL_PropQueue
getSize : 4.6 The class PEL_PropQueue
incAPF : 4.6 The class PEL_PropQueue
isBasic : 4.6 The class PEL_PropQueue
isEmpty : 4.6 The class PEL_PropQueue
isFailed : 4.6 The class PEL_PropQueue
reset : 4.6 The class PEL_PropQueue
setFailed : 4.6 The class PEL_PropQueue
PEL_SuspFDVar : 4.13 The class PEL_SuspFDIntVar, 4.13 The class PEL_SuspFDIntVar, 4.13 The class PEL_SuspFDIntVar
PEL_SuspFDVar
init : 4.13 The class PEL_SuspFDIntVar, 4.13 The class PEL_SuspFDIntVar
operator * : 4.13 The class PEL_SuspFDIntVar
operator ->  : 4.13 The class PEL_SuspFDIntVar
propagate_to : 4.13 The class PEL_SuspFDIntVar
wakeup : 4.13 The class PEL_SuspFDIntVar
PEL_SuspFSetVar : 4.12 The class PEL_SuspFSetVar, 4.12 The class PEL_SuspFSetVar, 4.12 The class PEL_SuspFSetVar
PEL_SuspFSetVar
init : 4.12 The class PEL_SuspFSetVar, 4.12 The class PEL_SuspFSetVar
operator * : 4.12 The class PEL_SuspFSetVar
operator ->  : 4.12 The class PEL_SuspFSetVar
propagate_to : 4.12 The class PEL_SuspFSetVar
wakeup : 4.12 The class PEL_SuspFSetVar
PEL_SuspVar
wakeup : 4.11 The class PEL_SuspVar
pf_fnct_t : 4.1 Overview
pf_return_t : 4.1 Overview

Tobias Müller
Version 1.4.0 (20080702)