CPSolver.BitVectorDomain (Fixpoint v0.8.27)

Summary

Functions

Link to this function

contains?(arg, value)

Link to this function

contains?(bit_vector, vector_value, min_value, max_value)

Link to this function

failed?(bit_vector)

Link to this function

fix(domain, value)

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

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

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