Index

"

##/2

#/2

#/2

fd_sets

#/3

#>/2

fd

fdplex

ic

#>/3

fd

#>=/2

fd

fdplex

ic

#>=/3

fd

#</2

fd

fdplex

ic

#</3

fd

#<=/2

fd

#<=/3

fd

#<=>/2

#<=>/3

#\=/2

ic

#\+/1

#\+/2

#\=/3

#/\/2

#/\/3

#\=/2

#\//2

#\//3

#=/2

fd

fdplex

ic

#=/3

fd

#=>/2

#=>/3

#=</2

fdplex

ic

::/2

eplex

fd

fd_sets

fdplex

ic

range

::/3

fd

>=/2

eplex

ic

in/2

notin/2

`</2

`<>/2

\

/\

\/

=:=/2

eplex

ic

=</2

eplex

ic

=\=/2

ic

`=/2

all_union/2

all_disjoint/2

all_disjoint/1

all_intersection/2

all_union/2

alldifferent/1

alldifferent/1

ic

alldifferent/2

alldistinct/1

already_in_heads option

already_in_store option

annotation

approximate generalised propagation

arithmetic constraints

atmost/3 ,

attribute

boolean constraints

breal/2

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

common solver interface|(

common solver interface|)

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

copy_term/2

CPLEX

cumulative/4 ,

cumulative/5

cumulative:cumulative/4

cumulative:profile/4

dbgcomp , ,

debug events

debug_compile flag , ,

declarations

CHR

default range

default_domain/1 ,

delayed goals

deleteff/3 , , ,

deleteffc/3 , ,

deletemin/3

delta/2

ic

demon/1

difference/3 ,

disjoint/2

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 ,

el_weight/2

element/3 , , , , ,

eplex

eplex

instance

>=/2

=:=/2

=</2

eplex_cleanup/0

eplex_get/2

eplex_instance/1

eplex_probe/2

eplex_solve/1

eplex_solver_setup/1

eplex_solver_setup/5

eplex_var_get/3

integers/1

presolve

eplex: :: /2

eplex: >= /2

eplex: =:= /2

eplex: =< /2

eplex:eplex_get/2

eplex:eplex_instance/1

eplex:eplex_probe/2

eplex:eplex_solve/1

eplex:eplex_solver_setup/1

eplex:eplex_solver_setup/5

eplex:eplex_var_get/3

eplex:integers/1 ,

eplex:optimize/2

eplex_cleanup/0 ,

eplex_cplex

eplex_probe/2

eplex_solver_setup/5 ,

eplex_xpress

equation solving

existence of solutions

fd:(::)/2 ,

fd:(::)/3

fd:atmost/3

fd:element/3

fd:fd_eval/1

fd:indomain/1

fd:integers/1

fd:is_domain/1

fd:is_integer_domain/1

fd:min_max/2

fd:min_max/4

fd:min_max/5

fd:min_max/6

fd:min_max/8

fd:minimize/2

fd:minimize/4

fd:minimize/5

fd:minimize/6

fd:minimize/8

fd_eval/1

fd_global:alldifferent/1

fd_global:alldifferent/2

fd_global:sorted/2

fd_global:sorted/3

fd_global:sumlist/2

fd_search:_/_

fd_sets:_/_

geometric constraints

get_ic_attr/2

get_ic_bounds/3

get_ic_domain_size/2

get_threshold/1

ic

get_var_bounds/3

get_var_type/2

glb/2

ground set , ,

guard , , ,

handler declaration

handlers

ic

ic:integers/1

ic:locate/2

ic:locate/3 ,

ic_constraints_number/2

ic_event/1

ic_kernel ,

ic_register_event/2

ic_kernel

ic_stat/1

ic_kernel , , ,

ic_stat_get/1

ic_kernel

in/2

includes/2

indomain/1 , , ,

indomain/1

ic

infers

insetdomain/4 ,

instance

integer_list_to_dom/2

integers/1

integers/1

eplex ,

fd

ic

intersection/3 ,

intset/3

intsets/4

is/2 , ,

is_domain/1

is_ic_var/1

is_integer_domain/1

isd/2

label_with declaration , ,

labeling ,

labeling

CHR@CHR

CHR@CHR

built-in

fd ,

labeling/1

labeling/1

ic

lexico_le/2 ,

lib(eplex)

lib(fd)

lib(fdplex)

lib(ic)

lib(suspend)

library

chr.pl|(

chr.pl|)

conjunto.pl|(

conjunto.pl|)

fd.pl|(

fd.pl|)

fd_sets|(

fd_sets|)

ic|(

ic|)

range|(

range|)

lin

linear programming, interface to|(

linear programming, interface to|)

list constraints

list2set/2

list_to_dom/2 , , , ,

local search

locate/2

locate/2

ic

locate/3

locate/3

ic

locate/4

locate/4

ic

log

lp_add/3

lp_add_constraints/3

lp_cleanup/1

lp_demon_setup/6 ,

lp_get/2

lp_get/3

lp_read/3

lp_set/2

lp_set/3

lp_setup/4

lp_solve/2

lp_unify_same_handle (eplex event)

lp_var_get/4

lub/2

lwb/2

macro

write

matching clause

mathematical programming, interface to|(

mathematical programming, interface to|)

max_weight/2

maxdomain/2

maxlist/2 ,

median/2

ic

membership_booleans/2

metaterm ,

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/2 ,

minmax constraints

mixed integer programming, interface to|(

mixed integer programming, interface to|)

modify_bound/3

most

new_domain_var/1

nodbgcomp , ,

normalise_cstrs/3

notin/2

occurrences/3 ,

operator declaration

optimize/2

options

chr

ordered/2 ,

ordered_sum/2 ,

outof/2

poss_conflict_vars/2

potential_members/2

Precision

print_range/2

profile/4

propagation ,

propagation rule

Propia

propositional logic ,

r_conflict/2 , , ,

r_conflict_prop/2 ,

range

range:int_tolerance/1

range_msg/3

reals/1

reals/1

ic

refine/1

repair

repair/1

resource allocation

sameset/2

schedule_suspensions/2 ,

scheduling

set constraints

set domain , , ,

set expression

set term

set variable , ,

set2list/2

set_range/3

set_event_handler/2 ,

set_range/3

set_threshold/1

ic

set_threshold/2

set_threshold/2

ic

simpagation rule

simplex solver, interface to|(

simplex solver, interface to|)

simplification rule

sorted/2

sorted/3

sorted_list_to_dom/2 ,

squash ,

squash/3

squash/3

ic

subset/2

sum_weight/2

sumlist/2

suspend/3 , ,

suspension list

suspension list

constrained

ga_chg

wake_hi

wake_lo

svar_attribute/2

symdiff/3

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

unification

eplex variables

union/3 ,

unique

upb/2

var_fd/2

var_range/3

var_type/2 ,

violation

wake/0 ,

weight/3

weighted set

XPRESS-MP

"