Fixpoint
▼
Project version
v0.10.2
v0.10.1
v0.9.12
v0.9.11
v0.9.10
v0.9.9
v0.9.8
v0.9.7
v0.9.6
v0.9.5
v0.9.4
v0.9.3
v0.9.2
v0.9.1
v0.9.0
v0.8.52
v0.8.51
v0.8.50
v0.8.49
v0.8.48
v0.8.46
v0.8.44
v0.8.43
v0.8.42
v0.8.41
v0.8.40
v0.8.39
v0.8.38
v0.8.37
v0.8.36
v0.8.35
v0.8.34
v0.8.33
v0.8.32
v0.8.31
v0.8.30
v0.8.29
v0.8.28
v0.8.27
v0.8.26
v0.8.25
v0.8.24
v0.8.23
v0.8.22
v0.8.21
v0.8.20
v0.8.19
v0.8.18
v0.8.17
v0.8.16
v0.8.15
v0.8.14
v0.8.13
v0.8.12
v0.8.11
v0.8.10
v0.8.9
v0.8.8
v0.8.7
v0.8.6
v0.8.5
v0.8.4
v0.8.3
v0.8.2
v0.8.1
v0.8.0
v0.7.10
v0.7.9
v0.7.8
v0.7.7
v0.7.6
v0.7.5
v0.7.4
v0.7.3
v0.7.2
v0.7.1
v0.7.0
v0.6.5
v0.6.4
v0.6.3
v0.6.2
v0.6.1
v0.6.0
v0.5.12
v0.5.11
v0.5.10
v0.5.9
v0.5.8
v0.5.7
v0.5.6
v0.5.5
v0.5.4
v0.5.3
v0.5.2
v0.5.1
v0.5.0
v0.4.3
v0.4.2
v0.4.1
v0.4.0
v0.3.6
v0.3.5
v0.3.4
v0.3.3
v0.3.2
v0.3.1
v0.3.0
v0.2.3
v0.2.2
v0.2.1
v0.1.3
v0.1.2
v0.1.1
v0.1.0
Pages
Modules
API Reference
Modules
Constraint Programming Solver
The approach
Status
Intro
Implemented constraints
Features
Installation
Usage
Examples
CPSolver
Summary
Functions
child_spec/1
complete?/1
dispose/1
elapsed_time/1
get_state/1
handle_event/2
objective_value/1
set_complete/1
solutions/1
solve/2
solve_async/2
solve_sync/2
statistics/1
status/1
stop_spaces/1
CPSolver.Algorithms.Kuhn
Summary
Functions
initial_matching/2
run/3
CPSolver.Application
Summary
Functions
start/2
CPSolver.BitVectorDomain
Summary
Functions
bit_count/1
bit_count_iter/1
bit_positions/2
bit_positions/5
contains?/2
contains?/4
copy/1
failed?/1
fix/2
fixed?/1
get_bound_addrs/1
get_max/1
get_min/1
get_min_max/1
last_index/1
map/2
max/1
min/1
new/1
raw/1
reduce/4
remove/2
removeAbove/2
removeBelow/2
set_fixed/3
set_max/2
set_max/3
set_min/2
set_min/3
size/1
to_list/2
CPSolver.BooleanVariable
Summary
Functions
false?/1
fixed?/2
new/1
set_false/1
set_true/1
true?/1
CPSolver.Common
Summary
Types
domain_change/0
domain_get_operation/0
domain_update_operation/0
variable_or_view/0
Functions
domain_events/0
stronger_domain_change/2
unfixed/0
CPSolver.Constraint
Summary
Callbacks
arguments/1
new/1
propagators/1
Functions
constraint_to_propagators/2
extract_variables/1
new/2
post/1
CPSolver.Constraint.Absolute
Summary
Functions
new/1
new/2
CPSolver.Constraint.AllDifferent
Summary
Functions
arguments/1
new/1
CPSolver.Constraint.AllDifferent.Binary
Summary
Functions
arguments/1
new/1
CPSolver.Constraint.AllDifferent.Combined
Summary
Functions
arguments/1
new/1
CPSolver.Constraint.AllDifferent.DC
Summary
Functions
arguments/1
new/1
CPSolver.Constraint.AllDifferent.FWC
Summary
Functions
arguments/1
new/1
CPSolver.Constraint.Circuit
Summary
Functions
arguments/1
new/1
CPSolver.Constraint.Count
Summary
Functions
new/1
new/3
CPSolver.Constraint.Element
Summary
Functions
new/1
new/3
CPSolver.Constraint.Element2D
Summary
Functions
new/1
new/4
CPSolver.Constraint.ElementVar
Summary
Functions
new/1
new/3
CPSolver.Constraint.Equal
Summary
Functions
arguments/1
new/1
new/3
CPSolver.Constraint.Factory
Summary
Functions
absolute/1
absolute/2
add/2
alldifferent/1
count/3
element2d/3
element2d/4
element2d_var/3
element2d_var/4
element/2
element/3
equal/2
equiv/2
impl/2
inverse/2
inverse_impl/2
mod/2
mod/3
subtract/2
sum/1
sum/2
CPSolver.Constraint.HalfReified
Summary
Functions
arguments/1
new/1
new/2
CPSolver.Constraint.Inverse
Summary
Functions
new/1
new/2
CPSolver.Constraint.InverseHalfReified
Summary
Functions
arguments/1
new/1
new/2
CPSolver.Constraint.Less
Summary
Functions
new/1
new/3
CPSolver.Constraint.LessOrEqual
Summary
Functions
new/1
new/3
CPSolver.Constraint.Modulo
Summary
Functions
new/1
new/3
CPSolver.Constraint.NotEqual
Summary
Functions
arguments/1
new/1
new/3
CPSolver.Constraint.Or
Summary
Functions
new/1
CPSolver.Constraint.Reified
Summary
Functions
arguments/1
new/1
new/2
reified_propagator/3
CPSolver.Constraint.Sum
Summary
Functions
arguments/1
new/1
new/2
CPSolver.ConstraintStore
Summary
Types
get_operation/0
update_operation/0
Callbacks
create/2
dispose/2
domain/2
get/4
on_change/3
on_fail/2
on_fix/3
on_no_change/2
update/4
update_domain/4
Functions
create_store/2
default_store/0
default_store_opts/0
dispose/2
domain/1
domain/2
fixed?/1
get/4
set_store/1
update/4
CPSolver.DefaultDomain
Summary
Functions
contains?/2
copy/1
fix/2
fixed?/1
map/2
max/1
min/1
new/1
remove/2
removeAbove/2
removeBelow/2
size/1
to_list/1
CPSolver.Distributed
Summary
Functions
call/5
choose_worker_node/1
worker_nodes/1
CPSolver.Examples.Euler43
Summary
Functions
check_solution/1
model/0
run/1
CPSolver.Examples.GraphColoring
Summary
Functions
check_solution/2
model/1
solve/2
CPSolver.Examples.Knapsack
Summary
Functions
check_solution/5
free_space_minimization_model/3
model/2
model/4
prebuild_model/3
tourist_knapsack_model/0
value_maximization_model/3
CPSolver.Examples.QAP
Summary
Functions
check_solution/3
model/1
model/2
parse_instance/1
run/2
search/1
solution_handler/1
CPSolver.Examples.Queens
Summary
Functions
check_solution/1
inside_out_order/1
inside_out_to_normal/1
model/2
print_board/1
solve/2
solve_and_print/2
CPSolver.Examples.Reindeers
Summary
Functions
model/0
order/1
print/1
solve/1
CPSolver.Examples.SendMoreMoney
Summary
Functions
check_solution/1
model/0
solve/0
CPSolver.Examples.StableMarriage
Summary
Functions
check_solution/2
instances/0
model/1
print/2
solve/2
CPSolver.Examples.Sudoku
Summary
Functions
check_solution/1
model/1
print_grid/1
puzzles/0
solve/2
solve_and_print/2
sudoku_string_to_grid/1
CPSolver.Examples.TSP
Summary
Functions
check_solution/2
hamiltonian?/1
model/1
parse_instance/1
run/2
search/1
solution_handler/1
to_dot/1
to_route/2
CPSolver.Examples.Utils
Summary
Functions
flush_solutions/0
notify_client_handler/0
wait_for_solution/2
wait_for_solutions/3
wait_for_solutions/4
CPSolver.Examples.XKCD.NP
Summary
Functions
check_solution/2
model/0
solve/0
CPSolver.Examples.Zebra
Summary
Functions
model/0
puzzle_solution/1
solve/1
CPSolver.IntVariable
Summary
Functions
contains?/2
copy/1
domain/1
fix/2
fixed?/1
max/1
min/1
new/2
remove/2
removeAbove/2
removeBelow/2
size/1
to_variable/1
CPSolver.Model
Summary
Types
t/0
Functions
init_model/3
new/3
CPSolver.Objective
Summary
Functions
get_bound/1
get_bound_impl/1
get_objective_value/1
init_bound_handle/0
maximize/1
minimize/1
reset_bound/1
reset_bound_impl/1
tighten/1
tighten/2
update_bound/2
update_bound_impl/2
CPSolver.Objective.Propagator
Summary
Functions
arguments/1
bind/3
entailed?/2
failed?/2
new/1
new/2
reset/2
reset/3
CPSolver.Propagator
Summary
Types
propagator_event/0
Callbacks
arguments/1
bind/3
entailed?/2
failed?/2
filter/3
reset/2
reset/3
variables/1
Functions
arg_at/2
arg_map/2
args_to_list/1
bind/3
bind_to_variable/3
bind_to_variables/3
default_variables_impl/1
domain_values/1
dry_run/2
entailed?/1
failed?/1
filter/2
is_constant_arg/1
new/3
propagator_events/0
reset/2
to_domain_events/1
update_state/2
variables/1
CPSolver.Propagator.Absolute
Summary
Functions
arguments/1
bind/3
filter_impl/3
new/1
new/2
reset/2
reset/3
CPSolver.Propagator.AbsoluteNotEqual
Summary
Functions
arguments/1
bind/3
filter_impl/2
new/1
new/2
reset/2
reset/3
CPSolver.Propagator.AllDifferent.DC
Summary
Functions
bind/3
build_value_graph/1
compute_maximum_matching/3
entailed?/2
failed?/2
final_state/1
initial_state/1
new/1
reduction/5
reset/2
reset/3
test/1
CPSolver.Propagator.AllDifferent.FWC
Summary
Functions
bind/3
entailed?/2
failed?/2
new/1
reset/2
reset/3
CPSolver.Propagator.Circuit
Summary
Functions
bind/3
check_circuit/2
entailed?/2
failed?/2
new/1
remove_in_edges/3
reset/2
reset/3
CPSolver.Propagator.ConstraintGraph
Summary
Functions
add_propagator/2
add_variable/2
create/1
disconnect_variable/2
edges/2
entailed_propagator?/2
get_propagator/2
get_propagator_ids/2
get_propagator_ids/3
get_variable/2
propagator_degree/2
propagator_vertex/1
propagators_by_variable/3
remove_propagator/2
remove_variable/2
remove_vertex/2
update/2
update_propagator/3
update_variable/3
variable_degree/2
variable_vertex/1
vertices/1
CPSolver.Propagator.Element2D
Summary
Functions
arguments/1
bind/3
build_state/6
entailed?/2
failed?/2
filter_impl/3
new/1
new/4
reset/2
reset/3
CPSolver.Propagator.ElementVar
Summary
Functions
entailed?/2
failed?/2
new/1
new/3
reset/2
reset/3
CPSolver.Propagator.Equal
Summary
Functions
arguments/1
bind/3
filter_impl/3
new/1
new/3
reset/2
reset/3
CPSolver.Propagator.Less
Summary
Functions
entailed?/2
failed?/2
filter/3
variables/1
CPSolver.Propagator.LessOrEqual
Summary
Functions
arguments/1
bind/3
new/1
new/3
reset/2
reset/3
CPSolver.Propagator.Modulo
Summary
Functions
arguments/1
bind/3
entailed?/2
failed?/2
filter_impl/2
mod_bounds/2
new/1
new/3
reset/2
reset/3
CPSolver.Propagator.NotEqual
Summary
Functions
arguments/1
bind/3
filter_impl/3
new/1
new/3
reset/2
reset/3
CPSolver.Propagator.Or
Summary
Functions
bind/3
entailed?/2
failed?/2
new/1
reset/2
reset/3
CPSolver.Propagator.Reified
Summary
Functions
arguments/1
entailed?/2
failed?/2
new/1
new/3
reset/2
reset/3
CPSolver.Propagator.Sum
Summary
Functions
bind/3
entailed?/2
failed?/2
new/1
new/2
reset/2
reset/3
CPSolver.Propagator.Sum2
Summary
Functions
bind/3
entailed?/2
failed?/2
new/1
new/2
reset/2
reset/3
CPSolver.Propagator.Variable
Summary
Functions
contains?/2
domain/1
fix/2
fixed?/1
get_variable_ops/0
id/1
max/1
min/1
plus/2
remove/2
removeAbove/2
removeBelow/2
reset_variable_ops/0
set_propagate_on/2
size/1
CPSolver.Search
Summary
Functions
branch/3
branch/4
default_strategy/0
initialize/2
CPSolver.Search.Partition
Summary
Functions
initialize/2
partition/2
CPSolver.Search.ValueSelector
Summary
Callbacks
initialize/1
partition/1
select_value/1
CPSolver.Search.ValueSelector.Max
Summary
Functions
initialize/1
partition/1
CPSolver.Search.ValueSelector.Min
Summary
Functions
initialize/1
partition/1
CPSolver.Search.ValueSelector.Random
Summary
Functions
initialize/1
partition/1
CPSolver.Search.ValueSelector.Split
Summary
Functions
initialize/1
CPSolver.Search.VariableSelector
Summary
Callbacks
initialize/2
select/3
update/2
Functions
action/2
afc/2
all_vars_fixed_exception/0
chb/2
dom_deg/1
failed_variables_in_search_exception/0
first_fail/1
initialize/2
max_regret/1
mixed/1
most_completed/1
most_constrained/1
select_variable/3
strategy/1
variable_choice/2
CPSolver.Search.VariableSelector.AFC
Summary
Functions
get_afc_record/2
get_afc_table/1
get_decay/1
initialize/2
propagator_afc/2
propagator_afc/4
update/2
update_afc/4
variable_afc/2
variable_afcs/2
CPSolver.Search.VariableSelector.Action
Summary
Functions
initialize/2
update/2
update_actions/2
variable_actions/2
CPSolver.Search.VariableSelector.CHB
Summary
Functions
default_q_score/0
initialize/2
step_size/1
update/2
update_chbs/3
variable_chbs/2
CPSolver.Search.VariableSelector.DomDeg
Summary
Functions
initialize/2
update/2
CPSolver.Search.VariableSelector.FirstFail
Summary
Functions
get_minimals/1
initialize/2
select/3
update/2
CPSolver.Search.VariableSelector.InputOrder
Summary
Functions
initialize/2
update/2
CPSolver.Search.VariableSelector.MaxRegret
Summary
Functions
initialize/2
update/2
CPSolver.Search.VariableSelector.MostCompleted
Summary
Functions
initialize/2
most_completed_propagators_selection/1
update/2
CPSolver.Search.VariableSelector.MostConstrained
Summary
Functions
initialize/2
update/2
CPSolver.Shared
Summary
Functions
active_nodes/1
add_active_spaces/2
add_active_spaces_impl/2
add_failure/2
add_failure_impl/2
add_handler/3
add_handler_impl/3
add_solution/2
add_solution_impl/2
checkin_space_thread/1
checkin_space_thread_impl/2
checkout_space_thread/2
checkout_space_thread_impl/2
cleanup/1
cleanup_impl/1
complete?/1
complete_impl/1
create_shared_ets_table/1
elapsed_time/1
finalize_space/4
finalize_space_impl/4
get_auxillary/2
get_failure_count/1
get_space_thread_counter/2
get_times/1
get_times_impl/1
increment_node_counts/1
increment_node_counts_impl/1
init_shared_data/1
init_times/0
objective_value/1
objective_value_impl/1
on_new_node/3
on_primary_node?/1
put_auxillary/3
set_complete/1
set_end_time/1
set_end_time_impl/1
solutions/1
statistics/1
statistics_impl/1
stop_spaces/1
CPSolver.Solution
Summary
Callbacks
handle/1
Functions
default_handler/0
run_handler/2
solution_handler/2
CPSolver.Solution.DefaultHandler
CPSolver.Space
Summary
Functions
checkpoint/2
create/1
create/3
default_space_opts/0
distribute/1
get_shared/1
put_shared/3
run_space/1
run_space/2
run_space/4
start_propagation/1
CPSolver.Space.Propagation
Summary
Functions
propagate/2
propagate/3
propagate/4
run/3
CPSolver.Store.Direct
Summary
Functions
handle_request/4
update/4
CPSolver.Store.ETS
Summary
Functions
handle_request_impl/5
lookup/2
update/4
CPSolver.Store.Local
Summary
Functions
handle_request/5
handle_request_impl/4
update/4
CPSolver.Store.PersistentTerm
Summary
Functions
handle_request/5
handle_request_impl/4
update/4
CPSolver.Store.Vector
Summary
Functions
handle_request_impl/5
lookup/2
update/4
CPSolver.Utils
Summary
Functions
array2d_min_max/1
cartesian/1
cartesian/2
domain_values/1
lazy_cartesian/2
lazy_cartesian/3
maximals/2
minimals/2
on_primary_node?/1
CPSolver.Utils.Digraph
Summary
Functions
add_edge/3
add_edge/4
add_edge/5
add_vertex/2
add_vertex/3
delete/1
delete_edge/2
delete_edges/2
delete_path/3
delete_vertex/2
delete_vertices/2
edge/2
edges/1
edges/2
from_libgraph/1
get_cycle/2
get_path/3
get_short_cycle/2
get_short_path/3
in_degree/2
in_edges/2
in_neighbours/2
new/1
no_edges/1
no_vertices/1
out_degree/2
out_edges/2
out_neighbours/2
to_libgraph/1
vertex/2
vertices/1
CPSolver.Utils.MaximumMatching
Summary
Functions
build_flow_network/1
CPSolver.Utils.TupleArray
Summary
Functions
at/2
map/2
new/1
reduce/3
CPSolver.Variable
Summary
Types
t/0
Callbacks
new/2
Functions
contains?/2
domain/1
fix/2
fixed?/1
max/1
min/1
remove/2
removeAbove/2
removeBelow/2
size/1
CPSolver.Variable.Interface
Summary
Types
t/0
Functions
contains?/2
domain/1
fix/2
fixed?/1
id/1
map/2
max/1
min/1
remove/2
removeAbove/2
removeBelow/2
size/1
update/3
variable/1
CPSolver.Variable.Interface.ThrowIfFails
Summary
Functions
contains?/2
domain/1
fix/2
fixed?/1
id/1
map/2
max/1
min/1
remove/2
removeAbove/2
removeBelow/2
size/1
update/3
variable/1
CPSolver.Variable.View
Summary
Types
t/0
Functions
contains?/2
domain/1
fix/2
fixed?/1
max/1
min/1
new/3
remove/2
removeAbove/2
removeBelow/2
size/1
CPSolver.Variable.View.Factory
Summary
Functions
inc/2
linear/3
minus/1
mul/2
negation/1
PackedMinMax
Summary
Functions
get_max/2
get_min/2
set_max/3
set_min/3
Search documentation of Fixpoint
Settings
CPSolver.BooleanVariable
(Fixpoint v0.10.2)
Summary
Functions
false?(var)
fixed?(var, val)
new(opts \\ [])
set_false(var)
set_true(var)
true?(var)
Functions
false?(var)
fixed?(var, val)
new(opts \\ [])
set_false(var)
set_true(var)
true?(var)
×