CPSolver.BitVectorDomain (Fixpoint v0.14.4)
Link to this section Summary
Link to this section Functions
Link to this function
bit_positions(n, mapper)
Link to this function
bit_positions(n, shift, iteration, msb, mapper, positions)
Link to this function
bits(domain)
Link to this function
contains?(arg, value)
Link to this function
contains?(bit_vector, vector_value, min_value, max_value)
Link to this function
copy(domain)
Link to this function
failed?(bit_vector)
Link to this function
fix(domain, value)
Link to this function
fixed?(domain)
Link to this function
get_bound_addrs(bit_vector)
Link to this function
get_max(bit_vector)
Link to this function
get_min(bit_vector)
Link to this function
get_min_max(bit_vector)
Link to this function
last_index(bit_vector)
Link to this function
map(domain, mapper_fun)
Link to this function
max(domain)
Link to this function
min(domain)
Link to this function
new(domain)
Link to this function
next(domain, value)
Link to this function
positional_value(block_index, position)
Link to this function
raw(domain)
Link to this function
reduce(domain, value_mapper_fun, acc_init \\ MapSet.new(), reduce_fun \\ &MapSet.union/2)
Link to this function
remove(domain, value)
Link to this function
removeAbove(domain, value)
Link to this function
removeBelow(domain, value)
Link to this function
set_fixed(bit_vector, fixed_value, min_max_info)
Link to this function
set_max(bit_vector, new_max)
Link to this function
set_max(bit_vector, new_max, min_max_info)
Link to this function
set_min(bit_vector, new_min)
Link to this function
set_min(bit_vector, new_min, min_max_info)
Link to this function
size(arg)
Link to this function
to_list(domain, value_mapper_fun \\ &Function.identity/1)
Link to this function