next up previous
Next: Bibliography Up: ECLiPSe Library Manual Release Previous: The Ria library algorithms


Index

"
##/2
#/3
#>/2
#>/3
#>=/2
#>=/3
#</2
#</3
#<=/2
#<=/3
#<=>/2
#<=>/3
#\//3
#\+/1
#\+/2
#\=/3
#/\/2
#/\/3
#\//2
#\=/2
#=/2
#=/3
#=>/2
#=>/3
*
*>/2
*=/2
*=>/2
+ , [*]
+-
- , [*]
/
::/2 , [*] , [*] , [*]
::/3
^
\
in/2
notin/2
`</2
/\
`<>/2
#/2
\/
`=/2
abs
all_union/2
all_disjoint/2
alldistinct/1
already_in_heads option
already_in_store option
annotation
approximate generalised propagation
arc consistency , [*]
arc propagation
arithmetic constraints
atan
atmost/3 , [*]
attribute
boolean constraints
check_guard_bindings option , [*] , [*] , [*]
CHIP
chr/1
chr2pl/1
CHR@CHR
chr_get_constraint/1
chr_get_constraint/2
chr_label_with/1
chr_labeling/0
chr_notrace/0
chr_resolve/1
chr_trace/0
committed choice
compare/3
compile/2
compile_term/1
conflict constraint
conflict constraints
conflict variables
conflict_constraints/2 , [*] , [*] , [*]
conflict_vars/1
consistent
constraint annotation
constraint handling rules
constraint solvers
constraints declaration
constraints
disjunctive
constraints_number/2
control
sound
cos
CPLEX
cumulative/4 , [*]
cumulative/5
dbgcomp , [*] , [*]
debug events
debug_compile flag , [*] , [*]
declarations
CHR
default range
default_domain/1 , [*]
delayed goals
deleteff/3 , [*] , [*] , [*]
deleteffc/3 , [*] , [*]
deletemin/3
demon/1
disjunctive constraints
disjunctive/2
dom/2
dom_check_in/2
dom_compare/3
dom_copy/2
dom_difference/4
dom_intersection/4
dom_member/2
dom_range/3 , [*]
dom_size/2
dom_union/4
domain constraints
domain splitting
domain variable
creation
definition
implementation
integer
domain
default , [*]
dvar_attribute/2 , [*] , [*]
dvar_domain/2 , [*] , [*]
dvar_domain_list/2
dvar_msg/3
dvar_remove_element/2
dvar_remove_greater/2 , [*]
dvar_remove_smaller/2
dvar_replace/2
dvar_update/2 , [*]
e
el_weight/2
element/3 , [*] , [*] , [*] , [*] , [*]
eplex
eplex_cplex
eplex_xpress
equation solving
exact
existence of solutions
exp
fd_eval/1
geometric constraints
get_threshold/1
glb/2
ground set , [*] , [*]
guard , [*] , [*] , [*]
handler declaration
handlers
iis
indomain/1 , [*] , [*]
inf
infers
infinity
instance
integer_list_to_dom/2
integers/1 , [*]
integers/2
is/2 , [*] , [*]
is_domain/1
is_integer_domain/1
isd/2
label_with declaration , [*] , [*]
labeling , [*]
labeling
CHR@CHR
CHR@CHR
built-in
fd , [*]
labeling/1
library
chr.pl|(
chr.pl|)
conjunto.pl|(
conjunto.pl|)
fd.pl|(
fd.pl|)
range|(
range|)
ria|(
ria|)
lin
list constraints
list2set/2
list_to_dom/2 , [*] , [*] , [*] , [*]
ln
local search
locate/2
locate/3
locate/4
log
lub/2
lwb/2
macro
write
matching clause
max
max_weight/2
maxdomain/2
maxlist/3
metaterm , [*]
min
min_max/2 , [*] , [*] , [*] , [*] , [*] , [*]
min_max/4
min_max/5 , [*]
min_max/6
min_max/8
mindomain/2
minimize/2 , [*] , [*] , [*]
minimize/4
minimize/5 , [*]
minimize/6
minimize/8
minlist/3
minmax constraints
modify_bound/3
most
new_domain_var/1
nodbgcomp , [*] , [*]
occurrences/3
operator declaration
options
chr
ordered/2
outof/2
pi
poss_conflict_vars/2
Precision
presolve
print_range/2
profile/4
propagation , [*]
propagation rule
Propia
propositional logic , [*]
r_conflict/2
r_conflict_prop/2
range
range_msg/3
reals/1 , [*]
reals/2
refine/1
repair
repair/0
resource allocation
ria
ria_stat/1
rpow
rsqr
schedule_suspensions/1 , [*] , [*]
scheduling
set constraints
set domain , [*] , [*] , [*]
set expression
set term
set variable , [*] , [*]
set2list/2
set_range/3
set_threshold/1
simpagation rule
simplification rule
sin
sorted_list_to_dom/2 , [*]
sqr
sqrt
squash , [*]
squash/3
statistics/1
sub
sum_weight/2
sumlist/2
suspend/3 , [*]
suspension list
suspension list
constrained
ga_chg
wake_hi
wake_lo
svar_attribute/2
temporal constraints
tenable
tent_call/3 , [*]
tent_is/2 , [*]
tentative assignment
Tentative Values
term constraints
terminological constraints
threshold , [*]
tree constraints
unification
unique
upb/2
var_fd/2
var_range/3 , [*]
var_type/2 , [*]
violation
wake/0 , [*]
weighted set
XPRESS-MP
"


1999-08-06