CPSolver.BitVectorDomain (Fixpoint v0.8.37)
Summary
Functions
Link to this function
bit_count(n)
Link to this function
bit_count_iter(n)
Link to this function
bit_positions(n, mapper)
Link to this function
bit_positions(n, shift, iteration, mapper, positions)
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(value)
Link to this function
raw(domain)
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