CPSolver.BitVectorDomain (Fixpoint v0.10.2)

Summary

Functions

bit_count(n)
bit_count_iter(n)
bit_positions(n, mapper)
bit_positions(n, shift, iteration, mapper, positions)
contains?(arg, value)
contains?(bit_vector, vector_value, min_value, max_value)
copy(domain)
failed?(bit_vector)
fix(domain, value)
fixed?(domain)
get_bound_addrs(bit_vector)
get_max(bit_vector)
get_min(bit_vector)
get_min_max(bit_vector)
last_index(bit_vector)
map(domain, mapper_fun)
max(domain)
min(domain)
new(value)
raw(domain)
reduce(domain, value_mapper_fun, reduce_fun \\ &MapSet.union/2, acc_init \\ MapSet.new())
remove(domain, value)
removeAbove(domain, value)
removeBelow(domain, value)
set_fixed(bit_vector, fixed_value, min_max_info)
set_max(bit_vector, new_max)
set_max(bit_vector, new_max, min_max_info)
set_min(bit_vector, new_min)
set_min(bit_vector, new_min, min_max_info)
size(arg)
to_list(domain, value_mapper_fun \\ &Function.identity/1)

Functions

bit_count(n)

bit_count_iter(n)

bit_positions(n, mapper)

bit_positions(n, shift, iteration, mapper, positions)

contains?(arg, value)

contains?(bit_vector, vector_value, min_value, max_value)

copy(domain)

failed?(bit_vector)

fix(domain, value)

fixed?(domain)

get_bound_addrs(bit_vector)

get_max(bit_vector)

get_min(bit_vector)

get_min_max(bit_vector)

last_index(bit_vector)

map(domain, mapper_fun)

max(domain)

min(domain)

new(value)

raw(domain)

reduce(domain, value_mapper_fun, reduce_fun \\ &MapSet.union/2, acc_init \\ MapSet.new())

remove(domain, value)

removeAbove(domain, value)

removeBelow(domain, value)

set_fixed(bit_vector, fixed_value, min_max_info)

set_max(bit_vector, new_max)

set_max(bit_vector, new_max, min_max_info)

set_min(bit_vector, new_min)

set_min(bit_vector, new_min, min_max_info)

size(arg)

to_list(domain, value_mapper_fun \\ &Function.identity/1)