Fixpoint
v0.8.34

      CPSolver.DefaultDomain (Fixpoint v0.8.34)

      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

      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

      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

      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)

      Hex Package Hex Preview Download ePub version

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