bitslice

Documentation

Index

• func GetHints() []solver.Hint
• func Partition(api frontend.API, v frontend.Variable, split uint, opts ...Option) (lower, upper frontend.Variable)
• type Option
  • func WithNbDigits(nbDigits int) Option
  • func WithUnconstrainedOutputs() Option

Functions

func GetHints

func GetHints() []solver.Hint

func Partition

func Partition(api frontend.API, v frontend.Variable, split uint, opts ...Option) (lower, upper frontend.Variable)

Partition partitions v into two parts splitted at bit numbered split. The following holds

v = lower + 2^split * upper.

The method enforces that lower < 2^split and upper < 2^split', where split'=nbScalar-split. When giving the option WithNbDigits, we instead use the bound split'=nbDigits-split.

Types

type Option

type Option func(*opt) error

func WithNbDigits

func WithNbDigits(nbDigits int) Option

func WithUnconstrainedOutputs

func WithUnconstrainedOutputs() Option