Fixpoint
v0.7.9

      CPSolver.BitmapDomain (Fixpoint v0.7.9)

      Summary

      Functions

      contains?(arg, value)
      fix(domain, value)
      fixed?(domain)
      map(domain, mapper_fun)
      max(arg)
      min(arg)
      new(domain)
      remove(domain, value)
      removeAbove(domain, value)
      removeBelow(domain, value)
      size(arg)
      to_list(domain, mapper_fun \\ &Function.identity/1)

      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

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

      Hex Package Hex Preview (current file) Download ePub version

      Built using ExDoc (v0.31.0) for the Elixir programming language