bitslice

package
v1.0.1 Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Dec 19, 2023 License: Apache-2.0 Imports: 5 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

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

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL