| 
::/2
 
=>/2, 3.1.2, 3.2.3
=\=/2
 
#<=>/2, 3.1.2
#<=/2, 3.1.2
#/2
#::/2
#=</2, 3.1.2
#=>/2, 3.1.2
#=/2, 3.1.2
##/2, 3.1.2
#/\/2, 3.1.2
#\+/1, 3.1.2
#\=/2, 3.1.2
#\//2, 3.1.2
$::/2
$</2
$=/2
$=:=/2
$=</2
$>/2
$>=/2
$\=/2
integers/1
&</2
&=/2
&=</2
&>/2
&>=/2
&\=/2
::/2
 
ac_eq/3, 3.2.2
all_disjoint/1, 5.3.4
all_intersection/2, 5.3.4
all_union/2, 5.3.4
alldifferent
alldifferent/1, 4.1
alldifferent/2, 4.1
alldifferent_matrix/1, 4.1
already_in_heads option, 9.5.3
already_in_store option, 9.5.3
and/2, 3.1.2, 3.2.3
annotation, 11.3
approximate generalised propagation, 8.3
arithmetic constraints, 9.3
atmost/3
 
boolean constraints, 9.3
branch_and_bound, 3.2.5
breal/2, 3.1.5
 
CHR, 9
CPLEX, 10.11
call_priority/2, 7.2.3
check_guard_bindings option, 9.4.2, 9.5.3, 9.7, 9.7.2
chr/1, 9.5.4
chr2pl/1, 9.5.4
chr_get_constraint/1, 9.5.4
chr_get_constraint/2, 9.5.4
chr_label_with/1, 9.5.4
chr_labeling/0, 9.5.4
chr_notrace/0, 9.5.4
chr_resolve/1, 9.5.4
chr_trace/0, 9.5.4
collection_to_list/2, 3.2.1, 3.2.1, 3.2.1, 7.2.3
column generation
committed choice, 9.3
common solver interface, 2, 2.4
conflict constraint, 11.3
conflict constraints, 11.4
conflict variables, 11.4
conflict_constraints/2, 11.4
conflict_constraints/2, 11.3, 11.3, 11.4
conflict_vars/1, 11.4
consistent, 8.3
constraint annotation, 11.3
constraint handling rules, 9
constraint solvers, 9.3
constraints
constraints declaration, 9.5.1
control
copy_term/2, 11.2.6
cumulative/4, 4.2, 4.3
cumulative/5, 4.3
cutpool constraints, 10.5
 
dbgcomp, 9.5.3, 9.7, 9.8.1
debug_compile flag, 9.5.3, 9.7, 9.8.1
declarations
default range, 3.2.9
delayed goals, 3.2.9
delayed_goals_number/2, 3.2.7
demon/1, 11.5
difference/3, 5.4
disjoint/2
disjunctive constraints, 8.2
disjunctive/2, 4.3
domain constraints, 9.3
domain splitting, 3.2.10
domain/1, 6.1
 
element/3
eplex, 10.1
eplex:eplex_get/2, 10.11.3
eplex_add_constraints/3, 10.11.2
eplex_cleanup/0, 10.3.6, 10.4.7
eplex_cplex, 10.11
eplex_get/2, 10.3.1, 10.3.3, 10.11.3
eplex_get_iis/4, 10.9
eplex_gurobi, 10.11
eplex_instance/1, 10.2
eplex_probe/2, 10.3.5, 10.4.3, 10.11.2
eplex_read/2, 10.3.2
eplex_set/2, 10.3.1, 10.3.2, 10.3.4, 10.11.3, 10.11.3
eplex_solve/1, 10.2.5
eplex_solver_setup/1, 10.2.5
eplex_solver_setup/4, 10.3.2, 10.3.4, 10.3.4, 10.4.1
eplex_var_get/3, 10.3.1
eplex_write/2, 10.3.2, 10.5.2
eplex_xpress, 10.11
equation solving, 9.3
exclude/2, 3.4.1
exclude_range/3, 3.4.1
existence of solutions, 3.2.9
 
gcc/2, 4.1
gcc_matrix/3, 4.1
geometric constraints, 9.3
get_bounds/3, 3.2.7
get_delta/2
get_domain/2, 3.2.7
get_domain_as_list/2, 3.2.7
get_domain_size/2, 3.2.7
get_finite_integer_bounds/3, 3.2.7
get_float_bounds/3, 3.2.7
get_ic_attr/2, 3.4.2
get_integer_bounds/3, 3.2.7
get_max/2, 3.2.7
get_median/2
get_min/2, 3.2.7
get_solver_type/2, 3.2.7
get_threshold/1
get_weighted_degree/2, 7.3.3
get_weighted_degree_decay/1, 7.3.3
gfd_get_default/2, 7.2.2, 7.5.1
gfd_set_default/2, 7.2.2, 7.5.1
gfd_update/0, 7.5.1
global cardinality constraint, 4.1
global constraints, 4.1
global cuts, 10.5
guard, 9.4.1, 9.4.2, 9.5.3, 9.7.2
 
handler declaration, 9.5.1
 
ic, 3.1.1
ic:integers/1, 10.4.1
ic_cumulative:cumulative/4, 4.2
ic_cumulative:profile/4, 4.2
ic_event/1
 | ic_global:alldifferent/1, 4.1
ic_global:alldifferent/2, 4.1
ic_global:sorted/2, 4.1
ic_global:sorted/3, 4.1
ic_global:sumlist/2, 4.1
ic_kernel, 3.2.11, 3.4, 3.4, 3.4.1, 3.4.2
ic_stat/1
impose_bounds/3, 3.4.1, 3.4.1, 7.4.2
impose_max/2, 3.4.1
impose_min/2, 3.4.1
in/2
includes/2
indomain/1, 5.5
infers, 8.1
init_weighted_degree/1, 7.3.3
insetdomain/4, 5.5, 5.5
integers/1
intersection/3, 5.4
intset/3, 5.2.1
intsets/4, 5.2.1
inverse/2, 4.1
is/2, 3.1.7, 11.5
is_in_domain/2
is_in_domain/3
is_solver_type/1, 3.2.7
is_solver_var/1, 3.2.7
 
label_with declaration, 9.5.1, 9.6, 9.7.1
labeling
labeling/1
lex_le/2, 4.1
lex_lt/2, 4.1
lexico_le/2, 4.1
lib(eplex), 2.4
lib(fd), 2.4
lib(gfd), 2.4
lib(ic), 2.4
lib(suspend), 2.4
library
library(ic_global), 4.1
library(ic_global_gac), 4.1
lin, 3.2.10
linear programming, interface to, 10, 10.11.3
list constraints, 9.3
local search, 11.1
locate/2, 3.2.10
locate/2, 3.2.6
locate/3, 3.2.10
locate/3, 3.2.6, 3.2.6
locate/4, 3.2.10
log, 3.2.10
lp_add/3, 10.4.2
lp_add_columns/2, 10.4.5
lp_add_constraints/3, 10.4.2
lp_add_constraints/4, 10.4.5
lp_add_cutpool_constraints/4, 10.5.2
lp_add_vars/2, 10.4.2
lp_cleanup/1, 10.4.7
lp_demon_setup/5, 10.4.1, 10.4.1
lp_get/2, 10.11.3, 10.11.3, 10.11.3, 10.11.3
lp_get/3, 10.4.4, 10.5.1, 10.5.2, 10.5.2, 10.5.2, 10.11.3, 10.11.3, 10.11.3
lp_read/3, 10.4.8
lp_set/2, 10.11.3, 10.11.3
lp_set/3, 10.4.6, 10.5.2, 10.11.3, 10.11.3
lp_setup/4, 10.4.1
lp_solve/2, 10.4.3
lp_var_get/4, 10.4.4
lp_var_get_bounds/4, 10.4.4
lp_var_set_bounds/4, 10.4.2
lp_write/3, 10.4.8, 10.5.2
 
mathematical programming, interface to, 10, 10.11.3
max_regret_lwb/2, 7.3.2
max_regret_upb/2, 7.3.2
max_weighted_degree/2, 7.3.2
max_weighted_degree_per_value/2, 7.3.2
membership_booleans/2
minmax constraints, 9.3
mixed integer programming, interface to, 10, 10.11.3
most, 8.2
most_constrained_per_value/2, 7.3.2
 
neg/1, 3.1.2, 3.2.3
nodbgcomp, 9.5.3, 9.7, 9.8.1
normalise_cstrs/3, 10.4.8
notin/2
 
occurrences/3, 4.1
occurrences/3, 4.1
operator declaration, 9.5.1
options
or/2, 3.1.2, 3.2.3
ordered/2, 4.1
ordered/2, 4.1
ordered_sum/2, 4.1
ordered_sum/2, 4.1
 
Precision, 3.2.10
Propia, 8
poss_conflict_vars/2, 11.4
potential_members/2, 5.2.3
profile/4, 4.2
propagation, 3.2.9, 11.6.1
propagation rule, 9.4.1
propositional logic, 8.2, 9.3
 
quadratic programming, interface to, 10, 10.11.3
 
r_conflict/2, 11.3
r_conflict/2, 11.3, 11.3, 11.3
r_conflict_prop/2, 11.3
r_conflict_prop/2, 11.3
reals/1, 10.2.4, 10.4.1, 10.5.1
reduced_cost_pruning/2, 10.4.4
repair, 11.1
repair/1, 11.6.2
resource allocation, 8.2
rotate/3
 
same/2, 4.1
sameset/2
scheduling, 8.2
search/6
select_var/5, 7.3.3
sequence/4, 4.1
sequence/5, 4.1
set constraints, 9.3
set_range/3, 5.2.3
set_threshold/1
set_threshold/2, 3.2.8
set_var_type/2, 3.4.1
set_vars_type/2, 3.4.1
set_weighted_degree_decay/1, 7.3.3
shift/2
simpagation rule, 9.4.1
simplex solver, interface to, 10, 10.11.3
simplification rule, 9.4.1
solver_constraints_number/1, 7.2.3
solver_vars_number/1, 7.2.3
sorted/2, 4.1
sorted/3, 4.1
squash, 3.2.10, 3.2.10
squash/3, 3.2.10
subset/2
sumlist/2, 4.1
suspend/3, 3.4.2
suspension list
symbol_domain_index/3, 6.4
symdiff/2
 
Tentative Values, 11.2
temporal constraints, 9.3
tenable, 11.2.2
tent_call/3, 11.5
tent_call/3, 11.5
tent_get/2, 11.2.6
tent_is/2, 11.5
tent_is/2, 11.5
tent_set/2, 11.2.6
tentative assignment, 11.2.3
term constraints, 9.3
terminological constraints, 9.3
tree constraints, 9.3
 
unification
union/2
union/3, 5.4
unique, 8.3
 
violation, 11.3
 
wake/0, 3.4.1, 7.4.2
weight/3, 5.3.5
 
XPRESS-MP, 10.11
 |