Fixpoint
v0.10.2
Pages
Modules
Search documentation of Fixpoint
Settings
CPSolver.DefaultDomain
(Fixpoint v0.10.2)
Summary
Functions
contains?(fixed, value)
copy(fixed)
fix(fixed, value)
fixed?(fixed)
map(fixed, mapper)
max(fixed)
min(fixed)
new(values)
See
CPSolver.BitVectorDomain.new/1
.
remove(fixed, val)
removeAbove(fixed, val)
removeBelow(fixed, val)
size(fixed)
to_list(arg)
Functions
contains?(fixed, value)
copy(fixed)
fix(fixed, value)
fixed?(fixed)
map(fixed, mapper)
max(fixed)
min(fixed)
new(values)
See
CPSolver.BitVectorDomain.new/1
.
remove(fixed, val)
removeAbove(fixed, val)
removeBelow(fixed, val)
size(fixed)
to_list(arg)