Next: Bibliography
Up: ECLiPSe Library Manual Release
Previous: The Ria library algorithms
"
- ##/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