CPSolver.BitmapDomain (Fixpoint v0.8.9)
Summary
Functions
Link to this function
contains?(arg, value)
Link to this function
fix(domain, value)
Link to this function
fixed?(domain)
Link to this function
map(domain, mapper_fun)
Link to this function
max(arg)
Link to this function
min(arg)
Link to this function
new(domain)
@spec new(Enum.t()) :: {SimpleBitmap.t(), non_neg_integer()}
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
size(arg)
Link to this function