Index

"

##/2

#/2

fd_sets

#::/2

ic

#>/2

ic

#>=/2

ic

#</2

ic

#<=/2

#<=>/2

#\+/1

#\=/2

#\=/2

ic

#/\/2

#\//2

#=/2

#=/2

ic

#=>/2

#=</2

#=</2

ic

$::/2

eplex

ic

$>/2

ic

$>=/2

eplex

ic

$</2

ic

$\=/2

ic

$=/2

eplex

ic

$=</2

eplex

ic

::/2

fd_sets

ic

::/3

ic

>/2

ic

>=/2

ic

</2

ic

&\=/2

ic_symbolic

&=/2

ic_symbolic

&=</2

ic_symbolic

=:=/2

ic

=>/2 ,

=</2

ic

=\=/2

ic

all_disjoint/1

all_intersection/2

all_union/2

alldifferent/1

alldifferent/1

ic

ic_symbolic

alldifferent/2

already_in_heads option

already_in_store option

and/2 ,

annotation

approximate generalised propagation

arithmetic constraints

atmost/3

ic_symbolic

boolean constraints

branch_and_bound

breal/2

check_guard_bindings option , , ,

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

column generation

lp_add_columns/4

lp_add_constraints/4

committed choice

common solver interface|(

common solver interface|)

conflict constraint

conflict constraints

conflict variables

conflict_constraints/2 , , ,

conflict_vars/1

consistent

constraint annotation

constraint handling rules

constraint solvers

constraints declaration

constraints

disjunctive

control

sound

copy_term/2

CPLEX

cumulative/4 ,

cumulative/5

dbgcomp , ,

debug_compile flag , ,

declarations

CHR

default range

delayed goals

delayed_goals_number/2

demon/1

difference/3

difference/3

fd_sets

disjoint/2

fd_sets

disjunctive constraints

disjunctive/2

domain constraints

domain splitting

domain/1

element/3

ic

ic_symbolic

eplex

eplex

instance

eplex_instance/1

lp_probe/3

presolve

eplex:eplex_get/2

eplex_cleanup/0 ,

eplex_cplex

eplex_get/2 ,

eplex_instance/1

epex

eplex_probe/2 ,

eplex_read/2

eplex_set/2 , ,

eplex_solve/1

eplex_solver_setup/1

eplex_solver_setup/4 , , ,

eplex_var_get/3

eplex_write/2

eplex_xpress

equation solving

exclude/2

exclude_range/3

existence of solutions

geometric constraints

get_bounds/3

get_delta/2

ic

get_domain/2

get_domain_as_list/2

get_domain_size/2

get_finite_integer_bounds/3

get_float_bounds/3

get_ic_attr/2

get_integer_bounds/3

get_max/2

get_median/2

ic

get_min/2

get_solver_type/2

get_threshold/1

ic

guard , , ,

handler declaration

ic

ic:integers/1

ic_cumulative:cumulative/4

ic_cumulative:profile/4

ic_event/1

ic_kernel ,

ic_global:alldifferent/1

ic_global:alldifferent/2

ic_global:sorted/2

ic_global:sorted/3

ic_global:sumlist/2

ic_kernel , , , ,

ic_stat/1

ic_kernel , , ,

ic_stat_get/1

ic_kernel

ic_stat_register_event/2

ic_kernel

impose_bounds/3 ,

impose_max/2

impose_min/2

in/2

fd_sets

includes/2

fd_sets

indomain/1

indomain/1

ic

infers

insetdomain/4 ,

integers/1

eplex

ic

intersection/3

intersection/3

fd_sets

intset/3

intsets/4

is/2 ,

is_in_domain/2

ic

is_in_domain/3

ic

is_solver_type/1

is_solver_var/1

label_with declaration , ,

labeling

CHR@CHR

CHR@CHR

built-in

labeling/1

ic

lexico_le/2 ,

lib(eplex)

lib(ic)

lib(suspend)

library

chr.pl|(

chr.pl|)

fd_sets|(

fd_sets|)

ic_symbolic|(

ic_symbolic|)

ic|(

ic|)

lin

linear programming, interface to|(

linear programming, interface to|)

list constraints

local search

locate/2 ,

locate/2

ic

locate/3 , ,

locate/3

ic

locate/4

locate/4

ic

log

lp_add/3

lp_add_columns/2

lp_add_constraints/3

lp_add_constraints/4

lp_add_vars/2

lp_cleanup/1

lp_demon_setup/5 ,

lp_get/2 , , ,

lp_get/3 , , ,

lp_read/3

lp_set/2 ,

lp_set/3 , ,

lp_setup/4

lp_solve/2

lp_var_get/4

lp_var_get_bounds/4

lp_var_set_bounds/4

lp_write/3

mathematical programming, interface to|(

mathematical programming, interface to|)

maxlist/2 ,

membership_booleans/2

fd_sets

minlist/2 ,

minmax constraints

mixed integer programming, interface to|(

mixed integer programming, interface to|)

most

neg/1 ,

nodbgcomp , ,

normalise_cstrs/3

notin/2

fd_sets

occurrences/3 ,

occurrences/3

ic_symbolic

operator declaration

options

chr

or/2 ,

ordered/2 ,

ordered_sum/2 ,

poss_conflict_vars/2

potential_members/2

Precision

profile/4

propagation ,

propagation rule

Propia

propositional logic ,

r_conflict/2 , , ,

r_conflict_prop/2 ,

reals/1

ic

reduced_cost_pruning/2

repair

repair/1

resource allocation

rotate/3

ic_symbolic

sameset/2

fd_sets

scheduling

search/6

ic

set constraints

set_range/3

set_threshold/1

ic

set_threshold/2

set_threshold/2

ic

set_var_type/2

set_vars_type/2

shift/1

ic_symbolic

simpagation rule

simplex solver, interface to|(

simplex solver, interface to|)

simplification rule

sorted/2

sorted/3

SPMamp;>/2

ic_symbolic

SPMamp;>=/2

ic_symbolic

SPMamp;</2

ic_symbolic

squash ,

squash/3

squash/3

ic

subset/2

fd_sets

sumlist/2

suspend/3

suspension list

ga_chg

symbol_domain_index/3

symdiff/3

fd_sets

temporal constraints

tenable

tent_call/3 ,

tent_get/2

tent_is/2 ,

tent_set/2

tentative assignment

Tentative Values

term constraints

terminological constraints

tree constraints

unification

eplex variables

union/3

union/3

fd_sets

unique

violation

wake/0

weight/3

XPRESS-MP

"