Fixpoint
v0.8.4

      CPSolver.BitVectorDomain (Fixpoint v0.8.4)

      Summary

      Functions

      block_index(n)
      contains?(arg, value)
      fail?(domain)
      fix(domain, value)
      fixed?(domain)
      last_index(bit_vector)
      lsb(n)
      map(domain, mapper_fun)
      max(arg)
      min(arg)
      msb(n)
      new(value)
      remove(domain, value)
      removeAbove(domain, value)
      removeBelow(domain, value)
      size(arg)
      to_list(domain, mapper_fun \\ &Function.identity/1)

      Functions

      Link to this function

      block_index(n)

      Link to this function

      contains?(arg, value)

      Link to this function

      fail?(domain)

      Link to this function

      fix(domain, value)

      Link to this function

      fixed?(domain)

      Link to this function

      last_index(bit_vector)

      Link to this function

      lsb(n)

      Link to this function

      map(domain, mapper_fun)

      Link to this function

      max(arg)

      Link to this function

      min(arg)

      Link to this function

      msb(n)

      Link to this function

      new(value)

      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 Download ePub version

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