Fixpoint v0.13.2

CPSolver.DefaultDomain (Fixpoint v0.13.2)

Link to this section Summary

Functions

contains?(fixed, value)
copy(fixed)
fix(fixed, value)
fixed?(fixed)
iterator(value)
map(fixed, mapper)
max(fixed)
min(fixed)
new(values)

See CPSolver.BitVectorDomain.new/1.

next(domain, value)
remove(fixed, val)
removeAbove(fixed, val)
removeBelow(fixed, val)
size(fixed)
to_list(arg)

Link to this section Functions

Link to this function

contains?(fixed, value)

Link to this function

copy(fixed)

Link to this function

fix(fixed, value)

Link to this function

fixed?(fixed)

Link to this function

iterator(value)

Link to this function

map(fixed, mapper)

Link to this function

max(fixed)

Link to this function

min(fixed)

Link to this function

new(values)

See CPSolver.BitVectorDomain.new/1.

Link to this function

next(domain, value)

Link to this function

remove(fixed, val)

Link to this function

removeAbove(fixed, val)

Link to this function

removeBelow(fixed, val)

Link to this function

size(fixed)

Link to this function

to_list(arg)