-
::/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.5, 10.4.7
- eplex_cplex, 10.11
- eplex_get/2, 10.3.1, 10.3.2, 10.11.3
- eplex_get_iis/4, 10.9
- eplex_instance/1, 10.2
- eplex_probe/2, 10.3.4, 10.4.3, 10.11.2
- eplex_read/2, 10.3.1
- eplex_set/2, 10.3.1, 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.1, 10.3.3, 10.3.3, 10.4.1
- eplex_var_get/3, 10.3.1
- eplex_write/2, 10.3.1, 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
|