Index

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