Fixpoint
v0.10.5
Pages
Modules
Search documentation of Fixpoint
Settings
CPSolver.Utils.MutableArray
(Fixpoint v0.10.5)
Summary
Functions
array_add(ref, zb_index, value)
array_get(ref, zb_index)
array_size(ref)
array_update(ref, zb_index, value)
new(arity)
swap(array, index1, index2)
to_array(ref, fun \\ fn _i, val -> val end)
Functions
array_add(ref, zb_index, value)
array_get(ref, zb_index)
array_size(ref)
array_update(ref, zb_index, value)
new(arity)
swap(array, index1, index2)
to_array(ref, fun \\ fn _i, val -> val end)