Index

SymbolsABCDEFGHIKLMNOPRSTUVW

Symbols

'choice'
Combinator: see Combinator, 'choice' (9 Deep-guard Concurrent Constraint Combinators: Combinator)
'cond'
Combinator: see Combinator, 'cond' (9 Deep-guard Concurrent Constraint Combinators: Combinator)
'dis'
Combinator: see Combinator, 'dis' (9 Deep-guard Concurrent Constraint Combinators: Combinator)
'not'
Combinator: see Combinator, 'not' (9 Deep-guard Concurrent Constraint Combinators: Combinator)
'or'
Combinator: see Combinator, 'or' (9 Deep-guard Concurrent Constraint Combinators: Combinator)
'reify'
Combinator: see Combinator, 'reify' (9 Deep-guard Concurrent Constraint Combinators: Combinator)
^: 8 Feature Constraints: RecordC

A

accept
OS: see OS, accept (21.10.3 Sockets)
accept 
Open
socket: see Open, socket, accept  (20.3 The Class Open.socket)
acceptSelect
OS: see OS, acceptSelect (21.10.2 From Blocking to Suspension), see OS, acceptSelect (21.10.3 Sockets)
Action argument values: 28.2.2 Action Argument Values
add
TkTools
notebook: see TkTools, notebook, add (29.6 Notebook)
popupmenu: see TkTools, popupmenu, add (29.4 Popup Menu)
addHandler: 15.4 Interface of a Resolver
addXScrollbar
Tk: see Tk, addXScrollbar (28.13 Miscellaneous)
addYScrollbar
Tk: see Tk, addYScrollbar (28.13 Miscellaneous)
all
Search: see Search, all (4.2.2 All Solution Search)
Search
parallel: see Search, parallel, all (4.4.2 The Class Search.parallel)
allP
Search: see Search, allP (4.2.2 All Solution Search)
allS
Search: see Search, allS (4.2.2 All Solution Search)
ap
ErrorFormatters: see ErrorFormatters, ap (25 System Error Formatters: ErrorFormatters)
Application
exit: 1.1 The Application Module
getArgs: 1.1 The Application Module
getCgiArgs: 1.1 The Application Module
getCmdArgs: 1.1 The Application Module
getGuiArgs: 1.1 The Application Module
processArgv: 1.1 The Application Module
processCgiString: 1.1 The Application Module
applied: 2.1 Basics
apply: 2.3 The Class Module.manager, 2.4 Predefined Abstractions, 13 Spawning Computations Remotely: Remote
apply: 2.1 Basics
areIn
FS
reified: see FS, reified, areIn (7.6 Reified Propagators)
argument modules: 2.1 Basics
ask
Space: see Space, ask (10 First-class Computation Spaces: Space)
askVerbose
Space: see Space, askVerbose (10 First-class Computation Spaces: Space)
assign
FD: see FD, assign (5.13 Assigning Values)
atEnd 
Open
text: see Open, text, atEnd  (20.5 The Class Open.text)
atLeast
FD: see FD, atLeast (5.8 Symbolic Propagators)
atMost
FD: see FD, atMost (5.8 Symbolic Propagators)

B

bab
Search
best: see Search, best, bab (4.2.3 Best Solution Search)
babP
Search
best: see Search, best, babP (4.2.3 Best Solution Search)
babS
Search
best: see Search, best, babS (4.2.3 Best Solution Search)
base
Search: see Search, base (4.1 Basic Search Engines)
base url: 2.1 Basics
batch
Tk: see Tk, batch (28.1.3 Sending Tickles)
best: 4.2.3 Best Solution Search
best
bab
Search: see Search, best, bab (4.2.3 Best Solution Search)
babP
Search: see Search, best, babP (4.2.3 Best Solution Search)
babS
Search: see Search, best, babS (4.2.3 Best Solution Search)
restart
Search: see Search, best, restart (4.2.3 Best Solution Search)
restartP
Search: see Search, best, restartP (4.2.3 Best Solution Search)
restartS
Search: see Search, best, restartS (4.2.3 Best Solution Search)
Search
parallel: see Search, parallel, best (4.4.2 The Class Search.parallel)
bind
OS: see OS, bind (21.10.3 Sockets)
bind 
Open
socket: see Open, socket, bind  (20.3 The Class Open.socket)
bound
Search
one: see Search, one, bound (4.2.1 Single Solution Search)
boundP
Search
one: see Search, one, boundP (4.2.1 Single Solution Search)
bounds
FS
var: see FS, var, bounds (7.4.1 Declaring a Single Variable)
var
list: see FS, var, list, bounds (7.4.2 Declaring a List of Variables)
record: see FS, var, record, bounds (7.4.4 Declaring a Record of Variables)
tuple: see FS, var, tuple, bounds (7.4.3 Declaring a Tuple of Variables)
boundS
Search
one: see Search, one, boundS (4.2.1 Single Solution Search)
button
Tk: see Tk, button (28.4 Action Widgets)
tk
Tk: see Tk, button, tk (28.4 Action Widgets)
tkAction
Tk: see Tk, button, tkAction (28.4 Action Widgets)
tkBind
Tk: see Tk, button, tkBind (28.4 Action Widgets)
tkClose
Tk: see Tk, button, tkClose (28.4 Action Widgets)
tkInit
Tk: see Tk, button, tkInit (28.4 Action Widgets)
tkReturn
Tk: see Tk, button, tkReturn (28.4 Action Widgets)
tkReturnAtom
Tk: see Tk, button, tkReturnAtom (28.4 Action Widgets)
tkReturnFloat
Tk: see Tk, button, tkReturnFloat (28.4 Action Widgets)
tkReturnInt
Tk: see Tk, button, tkReturnInt (28.4 Action Widgets)
tkReturnList
Tk: see Tk, button, tkReturnList (28.4 Action Widgets)
tkReturnListAtom
Tk: see Tk, button, tkReturnListAtom (28.4 Action Widgets)
tkReturnListFloat
Tk: see Tk, button, tkReturnListFloat (28.4 Action Widgets)
tkReturnListInt
Tk: see Tk, button, tkReturnListInt (28.4 Action Widgets)
tkReturnListString
Tk: see Tk, button, tkReturnListString (28.4 Action Widgets)
tkReturnString
Tk: see Tk, button, tkReturnString (28.4 Action Widgets)

C

canvas
Tk: see Tk, canvas (28.3 No-Action Widgets)
tk
Tk: see Tk, canvas, tk (28.3 No-Action Widgets)
tkBind
Tk: see Tk, canvas, tkBind (28.3 No-Action Widgets)
tkClose
Tk: see Tk, canvas, tkClose (28.3 No-Action Widgets)
tkInit
Tk: see Tk, canvas, tkInit (28.3 No-Action Widgets)
tkReturn
Tk: see Tk, canvas, tkReturn (28.3 No-Action Widgets)
tkReturnAtom
Tk: see Tk, canvas, tkReturnAtom (28.3 No-Action Widgets)
tkReturnFloat
Tk: see Tk, canvas, tkReturnFloat (28.3 No-Action Widgets)
tkReturnInt
Tk: see Tk, canvas, tkReturnInt (28.3 No-Action Widgets)
tkReturnList
Tk: see Tk, canvas, tkReturnList (28.3 No-Action Widgets)
tkReturnListAtom
Tk: see Tk, canvas, tkReturnListAtom (28.3 No-Action Widgets)
tkReturnListFloat
Tk: see Tk, canvas, tkReturnListFloat (28.3 No-Action Widgets)
tkReturnListInt
Tk: see Tk, canvas, tkReturnListInt (28.3 No-Action Widgets)
tkReturnListString
Tk: see Tk, canvas, tkReturnListString (28.3 No-Action Widgets)
tkReturnString
Tk: see Tk, canvas, tkReturnString (28.3 No-Action Widgets)
canvasTag
Tk: see Tk, canvasTag (28.8 Tags And Marks)
tk
Tk: see Tk, canvasTag, tk (28.8 Tags And Marks)
tkBind
Tk: see Tk, canvasTag, tkBind (28.8 Tags And Marks)
tkClose
Tk: see Tk, canvasTag, tkClose (28.8 Tags And Marks)
tkInit
Tk: see Tk, canvasTag, tkInit (28.8 Tags And Marks)
tkReturn
Tk: see Tk, canvasTag, tkReturn (28.8 Tags And Marks)
tkReturnAtom
Tk: see Tk, canvasTag, tkReturnAtom (28.8 Tags And Marks)
tkReturnFloat
Tk: see Tk, canvasTag, tkReturnFloat (28.8 Tags And Marks)
tkReturnInt
Tk: see Tk, canvasTag, tkReturnInt (28.8 Tags And Marks)
tkReturnList
Tk: see Tk, canvasTag, tkReturnList (28.8 Tags And Marks)
tkReturnListAtom
Tk: see Tk, canvasTag, tkReturnListAtom (28.8 Tags And Marks)
tkReturnListFloat
Tk: see Tk, canvasTag, tkReturnListFloat (28.8 Tags And Marks)
tkReturnListInt
Tk: see Tk, canvasTag, tkReturnListInt (28.8 Tags And Marks)
tkReturnListString
Tk: see Tk, canvasTag, tkReturnListString (28.8 Tags And Marks)
tkReturnString
Tk: see Tk, canvasTag, tkReturnString (28.8 Tags And Marks)
card
FD
reified: see FD, reified, card (5.10 Reified Constraints)
FS
reflect: see FS, reflect, card (7.8 Reflection)
id
FS: see FS, card, id (7.1 Finite Set Intervals)
cardOf
lowerBound
FS
reflect: see FS, reflect, cardOf, lowerBound (7.8 Reflection)
unknown
FS
reflect: see FS, reflect, cardOf, unknown (7.8 Reflection)
upperBound
FS
reflect: see FS, reflect, cardOf, upperBound (7.8 Reflection)
cardRange
id
FS: see FS, cardRange, id (7.1 Finite Set Intervals)
cascade
Tk
menuentry: see Tk, menuentry, cascade (28.6 Menu Entries)
tk
Tk
menuentry: see Tk, menuentry, cascade, tk (28.6 Menu Entries)
tkClose
Tk
menuentry: see Tk, menuentry, cascade, tkClose (28.6 Menu Entries)
tkInit
Tk
menuentry: see Tk, menuentry, cascade, tkInit (28.6 Menu Entries)
chDir
OS: see OS, chDir (21.5 Directories)
checkbutton
Tk: see Tk, checkbutton (28.4 Action Widgets)
Tk
menuentry: see Tk, menuentry, checkbutton (28.6 Menu Entries)
tk
Tk: see Tk, checkbutton, tk (28.4 Action Widgets)
Tk
menuentry: see Tk, menuentry, checkbutton, tk (28.6 Menu Entries)
tkAction
Tk: see Tk, checkbutton, tkAction (28.4 Action Widgets)
tkBind
Tk: see Tk, checkbutton, tkBind (28.4 Action Widgets)
tkClose
Tk: see Tk, checkbutton, tkClose (28.4 Action Widgets)
Tk
menuentry: see Tk, menuentry, checkbutton, tkClose (28.6 Menu Entries)
tkInit
Tk: see Tk, checkbutton, tkInit (28.4 Action Widgets)
Tk
menuentry: see Tk, menuentry, checkbutton, tkInit (28.6 Menu Entries)
tkReturn
Tk: see Tk, checkbutton, tkReturn (28.4 Action Widgets)
tkReturnAtom
Tk: see Tk, checkbutton, tkReturnAtom (28.4 Action Widgets)
tkReturnFloat
Tk: see Tk, checkbutton, tkReturnFloat (28.4 Action Widgets)
tkReturnInt
Tk: see Tk, checkbutton, tkReturnInt (28.4 Action Widgets)
tkReturnList
Tk: see Tk, checkbutton, tkReturnList (28.4 Action Widgets)
tkReturnListAtom
Tk: see Tk, checkbutton, tkReturnListAtom (28.4 Action Widgets)
tkReturnListFloat
Tk: see Tk, checkbutton, tkReturnListFloat (28.4 Action Widgets)
tkReturnListInt
Tk: see Tk, checkbutton, tkReturnListInt (28.4 Action Widgets)
tkReturnListString
Tk: see Tk, checkbutton, tkReturnListString (28.4 Action Widgets)
tkReturnString
Tk: see Tk, checkbutton, tkReturnString (28.4 Action Widgets)
choose
FD: see FD, choose (5.12 Distribution)
Space: see Space, choose (10 First-class Computation Spaces: Space)
client
Discovery: see Discovery, client (16.1 The Module)
Open
socket: see Open, socket, client (20.3 The Class Open.socket)
clients: 12 Connecting Computations: Connection
clone
Space: see Space, clone (10 First-class Computation Spaces: Space)
close: 12.2.1 Gates, 13 Spawning Computations Remotely: Remote, 16.1 The Module, 16.1 The Module
close
Open
file: see Open, file, close (20.2 The Class Open.file)
OS: see OS, close (21.10.1 Basic Input and Output)
Search
parallel: see Search, parallel, close (4.4.2 The Class Search.parallel), see Search, parallel, close (4.4.2 The Class Search.parallel)
close 
Open
pipe: see Open, pipe, close  (20.4 The Class Open.pipe)
socket: see Open, socket, close  (20.3 The Class Open.socket)
Combinator
'choice': 9 Deep-guard Concurrent Constraint Combinators: Combinator
'cond': 9 Deep-guard Concurrent Constraint Combinators: Combinator
'dis': 9 Deep-guard Concurrent Constraint Combinators: Combinator
'not': 9 Deep-guard Concurrent Constraint Combinators: Combinator
'or': 9 Deep-guard Concurrent Constraint Combinators: Combinator
'reify': 9 Deep-guard Concurrent Constraint Combinators: Combinator
command
Tk
menuentry: see Tk, menuentry, command (28.6 Menu Entries)
tk
Tk
menuentry: see Tk, menuentry, command, tk (28.6 Menu Entries)
tkClose
Tk
menuentry: see Tk, menuentry, command, tkClose (28.6 Menu Entries)
tkInit
Tk
menuentry: see Tk, menuentry, command, tkInit (28.6 Menu Entries)
commit
Space: see Space, commit (10 First-class Computation Spaces: Space)
compl
id
FS: see FS, compl, id (7.1 Finite Set Intervals)
complIn
id
FS: see FS, complIn, id (7.1 Finite Set Intervals)
condGet: 23.3 The Programming Interface
condGet
Property: see Property, condGet (23.3 The Programming Interface)
conj
FD: see FD, conj (5.9 0/1 Propagators)
connect
OS: see OS, connect (21.10.3 Sockets)
connect 
Open
socket: see Open, socket, connect  (20.3 The Class Open.socket)
Connection: 12 Connecting Computations: Connection
Connection
gate
close: 12.2.1 Gates
getTicket: 12.2.1 Gates
init: 12.2.1 Gates
offer: 12.1 One-to-one Connections
offerMany: 12.2 Many-to-one Connections
offerOnce: 12.1 One-to-one Connections
offerUnlimited: 12.2 Many-to-one Connections
retract: 12.2 Many-to-one Connections
take: 12.1 One-to-one Connections
Connection.gate: 12.2.1 Gates
Connection.take: 12.2.1 Gates
convex
FS
int: see FS, int, convex (7.2 Sets over Integers)
cumulative
Schedule: see Schedule, cumulative (6.3 Cumulative Scheduling)
cumulativeEF
Schedule: see Schedule, cumulativeEF (6.3 Cumulative Scheduling)
cumulativeTI
Schedule: see Schedule, cumulativeTI (6.3 Cumulative Scheduling)
cumulativeUp
Schedule: see Schedule, cumulativeUp (6.3 Cumulative Scheduling)

D

decl
FD: see FD, decl (5.4 Telling Domains)
FS
var: see FS, var, decl (7.4.1 Declaring a Single Variable)
var
list: see FS, var, list, decl (7.4.2 Declaring a List of Variables)
record: see FS, var, record, decl (7.4.4 Declaring a Record of Variables)
tuple: see FS, var, tuple, decl (7.4.3 Declaring a Tuple of Variables)
defaultServerPort
Discovery: see Discovery, defaultServerPort (16.1 The Module)
depth
Search
one: see Search, one, depth (4.2.1 Single Solution Search)
deSelect
OS: see OS, deSelect (21.10.2 From Blocking to Suspension)
dialog
tkClose
TkTools: see TkTools, dialog, tkClose (29.2 Dialog)
tkInit
TkTools: see TkTools, dialog, tkInit (29.2 Dialog)
tkPack
TkTools: see TkTools, dialog, tkPack (29.2 Dialog)
TkTools: see TkTools, dialog (29.2 Dialog)
diff
id
FS: see FS, diff, id (7.3 Standard Propagators)
Discovery
client: 16.1 The Module
client
close: 16.1 The Module
getAll: 16.1 The Module
getOne: 16.1 The Module
init: 16.1 The Module
defaultServerPort: 16.1 The Module
server: 16.1 The Module
server
close: 16.1 The Module
init: 16.1 The Module
replace: 16.1 The Module
Discovery.client: 16.1 The Module
Discovery.server: 16.1 The Module
disj
FD: see FD, disj (5.9 0/1 Propagators)
disjoint
FD: see FD, disjoint (5.11 Miscellaneous Propagators)
id
FS: see FS, disjoint, id (7.3 Standard Propagators)
disjoint
Schedule: see Schedule, disjoint (6.4 Miscellaneous Propagators)
disjointC
FD: see FD, disjointC (5.11 Miscellaneous Propagators)
disjointN
id
FS: see FS, disjointN, id (7.3 Standard Propagators)
distance
FD: see FD, distance (5.11 Miscellaneous Propagators)
distinct
FD: see FD, distinct (5.8 Symbolic Propagators)
id
FS: see FS, distinct, id (7.3 Standard Propagators)
distinct2
FD: see FD, distinct2 (5.8 Symbolic Propagators)
distinctB
FD: see FD, distinctB (5.8 Symbolic Propagators)
distinctD
FD: see FD, distinctD (5.8 Symbolic Propagators)
distinctN
id
FS: see FS, distinctN, id (7.3 Standard Propagators)
distinctOffset
FD: see FD, distinctOffset (5.8 Symbolic Propagators)
distribute
FD: see FD, distribute (5.12 Distribution)
id
FS: see FS, distribute, id (7.9 Distribution)
divD
FD: see FD, divD (5.11 Miscellaneous Propagators)
divI
FD: see FD, divI (5.11 Miscellaneous Propagators)
dom
FD: see FD, dom (5.4 Telling Domains)
FD
reflect: see FD, reflect, dom (5.5 Reflection)
reified: see FD, reified, dom (5.10 Reified Constraints)
domList
FD
reflect: see FD, reflect, domList (5.5 Reflection)
dOpen 
Open
file: see Open, file, dOpen  (20.2 The Class Open.file)
pipe: see Open, pipe, dOpen  (20.4 The Class Open.pipe)
socket: see Open, socket, dOpen  (20.3 The Class Open.socket)
text: see Open, text, dOpen  (20.5 The Class Open.text)
DP
annotate: 11.2.1 Annotating Entities
break: 11.3.2 Kill and Break
getAnnotation: 11.2.1 Annotating Entities
getFaultStream: 11.3.1 Entity Fault Stream
init: 11.1 Initializing the Distribution Layer
initWith: 11.1 Initializing the Distribution Layer
kill: 11.3.2 Kill and Break
dp
ErrorFormatters: see ErrorFormatters, dp (25 System Error Formatters: ErrorFormatters)
drawTicks
TkTools
scale: see TkTools, scale, drawTicks (29.8 Scale)
dynamic linking: 2.1 Basics

E

element
FD: see FD, element (5.8 Symbolic Propagators)
empty
FS
value: see FS, value, empty (7.5 Finite Set Constants)
enter: 2.3 The Class Module.manager, 13 Spawning Computations Remotely: Remote
enter: 2.1 Basics
enter
TkTools
numberentry: see TkTools, numberentry, enter (29.9 Number Entry)
entry
Tk: see Tk, entry (28.3 No-Action Widgets)
tk
Tk: see Tk, entry, tk (28.3 No-Action Widgets)
tkBind
Tk: see Tk, entry, tkBind (28.3 No-Action Widgets)
tkClose
Tk: see Tk, entry, tkClose (28.3 No-Action Widgets)
tkInit
Tk: see Tk, entry, tkInit (28.3 No-Action Widgets)
tkReturn
Tk: see Tk, entry, tkReturn (28.3 No-Action Widgets)
tkReturnAtom
Tk: see Tk, entry, tkReturnAtom (28.3 No-Action Widgets)
tkReturnFloat
Tk: see Tk, entry, tkReturnFloat (28.3 No-Action Widgets)
tkReturnInt
Tk: see Tk, entry, tkReturnInt (28.3 No-Action Widgets)
tkReturnList
Tk: see Tk, entry, tkReturnList (28.3 No-Action Widgets)
tkReturnListAtom
Tk: see Tk, entry, tkReturnListAtom (28.3 No-Action Widgets)
tkReturnListFloat
Tk: see Tk, entry, tkReturnListFloat (28.3 No-Action Widgets)
tkReturnListInt
Tk: see Tk, entry, tkReturnListInt (28.3 No-Action Widgets)
tkReturnListString
Tk: see Tk, entry, tkReturnListString (28.3 No-Action Widgets)
tkReturnString
Tk: see Tk, entry, tkReturnString (28.3 No-Action Widgets)
eq
System: see System, eq (27.3 Miscellaneous)
equal
FS
reified: see FS, reified, equal (7.6 Reified Propagators)
equi
FD: see FD, equi (5.9 0/1 Propagators)
Error
exceptionToMessage: 24.4 The Module
extendedVSToVS: 24.4 The Module
messageToVirtualString: 24.4 The Module
printException: 24.4 The Module
registerFormatter: 24.4 The Module
error
tkInit
TkTools: see TkTools, error, tkInit (29.1 Error)
TkTools: see TkTools, error (29.1 Error)
error formatters: 24.2 The Error Registry
ErrorFormatters
ap: 25 System Error Formatters: ErrorFormatters
dp: 25 System Error Formatters: ErrorFormatters
failure: 25 System Error Formatters: ErrorFormatters
foreign: 25 System Error Formatters: ErrorFormatters
kernel: 25 System Error Formatters: ErrorFormatters
module: 25 System Error Formatters: ErrorFormatters
object: 25 System Error Formatters: ErrorFormatters
os: 25 System Error Formatters: ErrorFormatters
recordC: 25 System Error Formatters: ErrorFormatters
system: 25 System Error Formatters: ErrorFormatters
url: 25 System Error Formatters: ErrorFormatters
error messages: 24 Error Formatting: Error
error registry: 24 Error Formatting: Error, 24.2 The Error Registry
Event argument values: 28.2.3 Event Argument Values
exactly
FD: see FD, exactly (5.8 Symbolic Propagators)
exceptionToMessage
Error: see Error, exceptionToMessage (24.4 The Module)
exclude
id
FS: see FS, exclude, id (7.1 Finite Set Intervals)
exit
Application: see Application, exit (1.1 The Application Module)
exor
FD: see FD, exor (5.9 0/1 Propagators)
extendedVSToVS
Error: see Error, extendedVSToVS (24.4 The Module)

F

failure
ErrorFormatters: see ErrorFormatters, failure (25 System Error Formatters: ErrorFormatters)
false: 5.9 0/1 Propagators
FD
assign: 5.13 Assigning Values
atLeast: 5.8 Symbolic Propagators
atMost: 5.8 Symbolic Propagators
choose: 5.12 Distribution
conj: 5.9 0/1 Propagators
decl: 5.4 Telling Domains
disj: 5.9 0/1 Propagators
disjoint: 5.11 Miscellaneous Propagators
disjointC: 5.11 Miscellaneous Propagators
distance: 5.11 Miscellaneous Propagators
distinct: 5.8 Symbolic Propagators
distinct2: 5.8 Symbolic Propagators
distinctB: 5.8 Symbolic Propagators
distinctD: 5.8 Symbolic Propagators
distinctOffset: 5.8 Symbolic Propagators
distribute: 5.12 Distribution
divD: 5.11 Miscellaneous Propagators
divI: 5.11 Miscellaneous Propagators
dom: 5.4 Telling Domains
element: 5.8 Symbolic Propagators
equi: 5.9 0/1 Propagators
exactly: 5.8 Symbolic Propagators
exor: 5.9 0/1 Propagators
greater: 5.11 Miscellaneous Propagators
greatereq: 5.11 Miscellaneous Propagators
impl: 5.9 0/1 Propagators
inf: 5.3 Finite Domains
int: 5.4 Telling Domains
is: 5.3 Finite Domains
less: 5.11 Miscellaneous Propagators
lesseq: 5.11 Miscellaneous Propagators
list: 5.4 Telling Domains
max: 5.11 Miscellaneous Propagators
min: 5.11 Miscellaneous Propagators
min: 5.10 Reified Constraints
minus: 5.11 Miscellaneous Propagators
minusD: 5.11 Miscellaneous Propagators
modD: 5.11 Miscellaneous Propagators
modI: 5.11 Miscellaneous Propagators
nega: 5.9 0/1 Propagators
plus: 5.11 Miscellaneous Propagators
plusD: 5.11 Miscellaneous Propagators
power: 5.11 Miscellaneous Propagators
record: 5.4 Telling Domains
reflect
dom: 5.5 Reflection
domList: 5.5 Reflection
max: 5.5 Reflection
mid: 5.5 Reflection
min: 5.5 Reflection
nbSusps: 5.5 Reflection
nextLarger: 5.5 Reflection
nextSmaller: 5.5 Reflection
size: 5.5 Reflection
reified
card: 5.10 Reified Constraints
dom: 5.10 Reified Constraints
int: 5.10 Reified Constraints
sum: 5.10 Reified Constraints
sumAC: 5.10 Reified Constraints
sumACN: 5.10 Reified Constraints
sumC: 5.10 Reified Constraints
sumCN: 5.10 Reified Constraints
sum: 5.7 Generic Propagators
sumAC: 5.7 Generic Propagators
sumACN: 5.7 Generic Propagators
sumC: 5.7 Generic Propagators
sumCD: 5.7 Generic Propagators
sumCN: 5.7 Generic Propagators
sumD: 5.7 Generic Propagators
sup: 5.3 Finite Domains
tasksOverlap: 5.11 Miscellaneous Propagators
times: 5.11 Miscellaneous Propagators
timesD: 5.11 Miscellaneous Propagators
tuple: 5.4 Telling Domains
watch
max: 5.6 Watching Domains
min: 5.6 Watching Domains
size: 5.6 Watching Domains
file
close
Open: see Open, file, close (20.2 The Class Open.file)
dOpen 
Open: see Open, file, dOpen  (20.2 The Class Open.file)
getDesc 
Open: see Open, file, getDesc  (20.2 The Class Open.file)
init
Open: see Open, file, init (20.2 The Class Open.file)
Open: see Open, file (20.2 The Class Open.file)
read
Open: see Open, file, read (20.2 The Class Open.file)
seek
Open: see Open, file, seek (20.2 The Class Open.file)
tell
Open: see Open, file, tell (20.2 The Class Open.file)
write
Open: see Open, file, write (20.2 The Class Open.file)
fileDesc
OS: see OS, fileDesc (21.10.1 Basic Input and Output)
Finalize
everyGC: 26.1 Pre-mortem finalization facilities
guardian: 26.1 Pre-mortem finalization facilities
postmortem: 26.2 Post-mortem finalization facilities
register: 26.1 Pre-mortem finalization facilities
Finite Domains: 5.3 Finite Domains
firstsDist
Schedule: see Schedule, firstsDist (6.2 Distribution)
firstsLastsDist
Schedule: see Schedule, firstsLastsDist (6.2 Distribution)
flush
Open
socket: see Open, socket, flush (20.3 The Class Open.socket)
flush 
Open
pipe: see Open, pipe, flush  (20.4 The Class Open.pipe)
font
Tk: see Tk, font (28.10 Fonts)
tk
Tk: see Tk, font, tk (28.10 Fonts)
tkClose
Tk: see Tk, font, tkClose (28.10 Fonts)
tkInit
Tk: see Tk, font, tkInit (28.10 Fonts)
tkReturn
Tk: see Tk, font, tkReturn (28.10 Fonts)
tkReturnAtom
Tk: see Tk, font, tkReturnAtom (28.10 Fonts)
tkReturnFloat
Tk: see Tk, font, tkReturnFloat (28.10 Fonts)
tkReturnInt
Tk: see Tk, font, tkReturnInt (28.10 Fonts)
tkReturnList
Tk: see Tk, font, tkReturnList (28.10 Fonts)
tkReturnListAtom
Tk: see Tk, font, tkReturnListAtom (28.10 Fonts)
tkReturnListFloat
Tk: see Tk, font, tkReturnListFloat (28.10 Fonts)
tkReturnListInt
Tk: see Tk, font, tkReturnListInt (28.10 Fonts)
tkReturnListString
Tk: see Tk, font, tkReturnListString (28.10 Fonts)
tkReturnString
Tk: see Tk, font, tkReturnString (28.10 Fonts)
forAllIn
id
FS: see FS, forAllIn, id (7.7 Iterating and Monitoring)
foreign
ErrorFormatters: see ErrorFormatters, foreign (25 System Error Formatters: ErrorFormatters)
frame
Tk: see Tk, frame (28.3 No-Action Widgets)
tk
Tk: see Tk, frame, tk (28.3 No-Action Widgets)
tkBind
Tk: see Tk, frame, tkBind (28.3 No-Action Widgets)
tkClose
Tk: see Tk, frame, tkClose (28.3 No-Action Widgets)
tkInit
Tk: see Tk, frame, tkInit (28.3 No-Action Widgets)
tkReturn
Tk: see Tk, frame, tkReturn (28.3 No-Action Widgets)
tkReturnAtom
Tk: see Tk, frame, tkReturnAtom (28.3 No-Action Widgets)
tkReturnFloat
Tk: see Tk, frame, tkReturnFloat (28.3 No-Action Widgets)
tkReturnInt
Tk: see Tk, frame, tkReturnInt (28.3 No-Action Widgets)
tkReturnList
Tk: see Tk, frame, tkReturnList (28.3 No-Action Widgets)
tkReturnListAtom
Tk: see Tk, frame, tkReturnListAtom (28.3 No-Action Widgets)
tkReturnListFloat
Tk: see Tk, frame, tkReturnListFloat (28.3 No-Action Widgets)
tkReturnListInt
Tk: see Tk, frame, tkReturnListInt (28.3 No-Action Widgets)
tkReturnListString
Tk: see Tk, frame, tkReturnListString (28.3 No-Action Widgets)
tkReturnString
Tk: see Tk, frame, tkReturnString (28.3 No-Action Widgets)
FS
card
id: 7.1 Finite Set Intervals
cardRange
id: 7.1 Finite Set Intervals
compl
id: 7.1 Finite Set Intervals
complIn
id: 7.1 Finite Set Intervals
diff
id: 7.3 Standard Propagators
disjoint
id: 7.3 Standard Propagators
disjointN
id: 7.3 Standard Propagators
distinct
id: 7.3 Standard Propagators
distinctN
id: 7.3 Standard Propagators
distribute
id: 7.9 Distribution
exclude
id: 7.1 Finite Set Intervals
forAllIn
id: 7.7 Iterating and Monitoring
include
id: 7.1 Finite Set Intervals
inf
id: 7.1 Finite Set Intervals
int
convex: 7.2 Sets over Integers
match: 7.2 Sets over Integers
max: 7.2 Sets over Integers
maxN: 7.2 Sets over Integers
min: 7.2 Sets over Integers
minN: 7.2 Sets over Integers
seq: 7.2 Sets over Integers
intersect
id: 7.3 Standard Propagators
intersectN
id: 7.3 Standard Propagators
isIn
id: 7.1 Finite Set Intervals
makeWeights
id: 7.1 Finite Set Intervals
monitorIn
id: 7.7 Iterating and Monitoring
monitorOut
id: 7.7 Iterating and Monitoring
partition
id: 7.3 Standard Propagators
reflect
card: 7.8 Reflection
cardOf
lowerBound: 7.8 Reflection
unknown: 7.8 Reflection
upperBound: 7.8 Reflection
lowerBound: 7.8 Reflection
lowerBoundList: 7.8 Reflection
unknown: 7.8 Reflection
unknownList: 7.8 Reflection
upperBound: 7.8 Reflection
upperBoundList: 7.8 Reflection
reified
areIn: 7.6 Reified Propagators
equal: 7.6 Reified Propagators
include: 7.6 Reified Propagators
isIn: 7.6 Reified Propagators
partition: 7.6 Reified Propagators
subset
id: 7.3 Standard Propagators
sup
id: 7.1 Finite Set Intervals
union
id: 7.3 Standard Propagators
unionN
id: 7.3 Standard Propagators
value
empty: 7.5 Finite Set Constants
is: 7.5 Finite Set Constants
make: 7.5 Finite Set Constants
singl: 7.5 Finite Set Constants
toString: 7.5 Finite Set Constants
universal: 7.5 Finite Set Constants
var
bounds: 7.4.1 Declaring a Single Variable
decl: 7.4.1 Declaring a Single Variable
is: 7.4 Finite Set Interval Variables
list
bounds: 7.4.2 Declaring a List of Variables
decl: 7.4.2 Declaring a List of Variables
lowerBound: 7.4.2 Declaring a List of Variables
upperBound: 7.4.2 Declaring a List of Variables
lowerBound: 7.4.1 Declaring a Single Variable
record
bounds: 7.4.4 Declaring a Record of Variables
decl: 7.4.4 Declaring a Record of Variables
lowerBound: 7.4.4 Declaring a Record of Variables
upperBound: 7.4.4 Declaring a Record of Variables
tuple
bounds: 7.4.3 Declaring a Tuple of Variables
decl: 7.4.3 Declaring a Tuple of Variables
lowerBound: 7.4.3 Declaring a Tuple of Variables
upperBound: 7.4.3 Declaring a Tuple of Variables
upperBound: 7.4.1 Declaring a Single Variable

G

gates: 12.2.1 Gates
gcDo
System: see System, gcDo (27.1 System Control)
get: 23.3 The Programming Interface
get
Property: see Property, get (23.3 The Programming Interface)
TkTools
scale: see TkTools, scale, get (29.8 Scale)
getAll: 16.1 The Module
getArgs
Application: see Application, getArgs (1.1 The Application Module)
getC 
Open
text: see Open, text, getC  (20.5 The Class Open.text)
getCgiArgs
Application: see Application, getCgiArgs (1.1 The Application Module)
getCmdArgs
Application: see Application, getCmdArgs (1.1 The Application Module)
getCurrent
TkTools
popupmenu: see TkTools, popupmenu, getCurrent (29.4 Popup Menu)
getCWD
OS: see OS, getCWD (21.5 Directories)
getDesc 
Open
file: see Open, file, getDesc  (20.2 The Class Open.file)
pipe: see Open, pipe, getDesc  (20.4 The Class Open.pipe)
socket: see Open, socket, getDesc  (20.3 The Class Open.socket)
text: see Open, text, getDesc  (20.5 The Class Open.text)
getDir
OS: see OS, getDir (21.5 Directories)
getEnv
OS: see OS, getEnv (21.8 Environment Variables)
getGuiArgs
Application: see Application, getGuiArgs (1.1 The Application Module)
getHandlers: 15.4 Interface of a Resolver
getHostByName
OS: see OS, getHostByName (21.6 Sockets)
getId
Tk: see Tk, getId (28.13 Miscellaneous)
getOne: 16.1 The Module
getPID
OS: see OS, getPID (21.10.4 Process Control)
getPrefix
Tk: see Tk, getPrefix (28.13 Miscellaneous)
getS 
Open
text: see Open, text, getS  (20.5 The Class Open.text)
getServByName
OS: see OS, getServByName (21.6 Sockets)
getSockName
OS: see OS, getSockName (21.10.3 Sockets)
getTicket: 12.2.1 Gates
getTop
TkTools
notebook: see TkTools, notebook, getTop (29.6 Notebook)
gmTime
OS: see OS, gmTime (21.7 Time)
greater
FD: see FD, greater (5.11 Miscellaneous Propagators)
greatereq
FD: see FD, greatereq (5.11 Miscellaneous Propagators)

H

hasLabel
RecordC: see RecordC, hasLabel (8 Feature Constraints: RecordC)

I

id
FS
card: see FS, card, id (7.1 Finite Set Intervals)
cardRange: see FS, cardRange, id (7.1 Finite Set Intervals)
compl: see FS, compl, id (7.1 Finite Set Intervals)
complIn: see FS, complIn, id (7.1 Finite Set Intervals)
diff: see FS, diff, id (7.3 Standard Propagators)
disjoint: see FS, disjoint, id (7.3 Standard Propagators)
disjointN: see FS, disjointN, id (7.3 Standard Propagators)
distinct: see FS, distinct, id (7.3 Standard Propagators)
distinctN: see FS, distinctN, id (7.3 Standard Propagators)
distribute: see FS, distribute, id (7.9 Distribution)
exclude: see FS, exclude, id (7.1 Finite Set Intervals)
forAllIn: see FS, forAllIn, id (7.7 Iterating and Monitoring)
include: see FS, include, id (7.1 Finite Set Intervals)
inf: see FS, inf, id (7.1 Finite Set Intervals)
intersect: see FS, intersect, id (7.3 Standard Propagators)
intersectN: see FS, intersectN, id (7.3 Standard Propagators)
isIn: see FS, isIn, id (7.1 Finite Set Intervals)
makeWeights: see FS, makeWeights, id (7.1 Finite Set Intervals)
monitorIn: see FS, monitorIn, id (7.7 Iterating and Monitoring)
monitorOut: see FS, monitorOut, id (7.7 Iterating and Monitoring)
partition: see FS, partition, id (7.3 Standard Propagators)
subset: see FS, subset, id (7.3 Standard Propagators)
sup: see FS, sup, id (7.1 Finite Set Intervals)
union: see FS, union, id (7.3 Standard Propagators)
unionN: see FS, unionN, id (7.3 Standard Propagators)
tickles: see tickles, id (28.1 Tickles)
image
Tk: see Tk, image (28.9 Images)
tk
Tk: see Tk, image, tk (28.9 Images)
tkClose
Tk: see Tk, image, tkClose (28.9 Images)
tkInit
Tk: see Tk, image, tkInit (28.9 Images)
tkReturn
Tk: see Tk, image, tkReturn (28.9 Images)
tkReturnAtom
Tk: see Tk, image, tkReturnAtom (28.9 Images)
tkReturnFloat
Tk: see Tk, image, tkReturnFloat (28.9 Images)
tkReturnInt
Tk: see Tk, image, tkReturnInt (28.9 Images)
tkReturnList
Tk: see Tk, image, tkReturnList (28.9 Images)
tkReturnListAtom
Tk: see Tk, image, tkReturnListAtom (28.9 Images)
tkReturnListFloat
Tk: see Tk, image, tkReturnListFloat (28.9 Images)
tkReturnListInt
Tk: see Tk, image, tkReturnListInt (28.9 Images)
tkReturnListString
Tk: see Tk, image, tkReturnListString (28.9 Images)
tkReturnString
Tk: see Tk, image, tkReturnString (28.9 Images)
images
TkTools: see TkTools, images (29.10 Images)
impl
FD: see FD, impl (5.9 0/1 Propagators)
include
FS
reified: see FS, reified, include (7.6 Reified Propagators)
id
FS: see FS, include, id (7.1 Finite Set Intervals)
inf
FD: see FD, inf (5.3 Finite Domains)
id
FS: see FS, inf, id (7.1 Finite Set Intervals)
init: 2.3 The Class Module.manager, 12.2.1 Gates, 13 Spawning Computations Remotely: Remote, 16.1 The Module, 16.1 The Module
init
Open
file: see Open, file, init (20.2 The Class Open.file)
socket: see Open, socket, init (20.3 The Class Open.socket)
Search
parallel: see Search, parallel, init (4.4.2 The Class Search.parallel)
TkTools
scale: see TkTools, scale, init (29.8 Scale)
init 
Open
pipe: see Open, pipe, init  (20.4 The Class Open.pipe)
inject
Space: see Space, inject (10 First-class Computation Spaces: Space)
installs: 2.1 Basics
int
convex
FS: see FS, int, convex (7.2 Sets over Integers)
FD: see FD, int (5.4 Telling Domains)
FD
reified: see FD, reified, int (5.10 Reified Constraints)
match
FS: see FS, int, match (7.2 Sets over Integers)
max
FS: see FS, int, max (7.2 Sets over Integers)
maxN
FS: see FS, int, maxN (7.2 Sets over Integers)
min
FS: see FS, int, min (7.2 Sets over Integers)
minN
FS: see FS, int, minN (7.2 Sets over Integers)
seq
FS: see FS, int, seq (7.2 Sets over Integers)
intersect
id
FS: see FS, intersect, id (7.3 Standard Propagators)
intersectN
id
FS: see FS, intersectN, id (7.3 Standard Propagators)
invoked: 28.2.1 Action Values, 28.2.1 Action Values, 28.2.1 Action Values
is: 8 Feature Constraints: RecordC, 10 First-class Computation Spaces: Space
is
FD: see FD, is (5.3 Finite Domains)
FS
value: see FS, value, is (7.5 Finite Set Constants)
var: see FS, var, is (7.4 Finite Set Interval Variables)
RecordC: see RecordC, is (8 Feature Constraints: RecordC)
Space: see Space, is (10 First-class Computation Spaces: Space)
isColor
Tk: see Tk, isColor (28.13 Miscellaneous)
isIn
FS
reified: see FS, reified, isIn (7.6 Reified Propagators)
id
FS: see FS, isIn, id (7.1 Finite Set Intervals)
iter
Search
one: see Search, one, iter (4.2.1 Single Solution Search)
iterP
Search
one: see Search, one, iterP (4.2.1 Single Solution Search)
iterS
Search
one: see Search, one, iterS (4.2.1 Single Solution Search)

K

kernel
ErrorFormatters: see ErrorFormatters, kernel (25 System Error Formatters: ErrorFormatters)
kill
OS: see OS, kill (21.10.4 Process Control)
Space: see Space, kill (10 First-class Computation Spaces: Space)

L

label
Tk: see Tk, label (28.3 No-Action Widgets)
tk
Tk: see Tk, label, tk (28.3 No-Action Widgets)
tkBind
Tk: see Tk, label, tkBind (28.3 No-Action Widgets)
tkClose
Tk: see Tk, label, tkClose (28.3 No-Action Widgets)
tkInit
Tk: see Tk, label, tkInit (28.3 No-Action Widgets)
tkReturn
Tk: see Tk, label, tkReturn (28.3 No-Action Widgets)
tkReturnAtom
Tk: see Tk, label, tkReturnAtom (28.3 No-Action Widgets)
tkReturnFloat
Tk: see Tk, label, tkReturnFloat (28.3 No-Action Widgets)
tkReturnInt
Tk: see Tk, label, tkReturnInt (28.3 No-Action Widgets)
tkReturnList
Tk: see Tk, label, tkReturnList (28.3 No-Action Widgets)
tkReturnListAtom
Tk: see Tk, label, tkReturnListAtom (28.3 No-Action Widgets)
tkReturnListFloat
Tk: see Tk, label, tkReturnListFloat (28.3 No-Action Widgets)
tkReturnListInt
Tk: see Tk, label, tkReturnListInt (28.3 No-Action Widgets)
tk