Versions in this module Expand all Collapse all v1 v1.0.1 Dec 19, 2023 Changes in this version + func GetHints() []solver.Hint + func IsLess(api frontend.API, a, b frontend.Variable) frontend.Variable + func IsLessBinary(api frontend.API, aBits, bBits []frontend.Variable) frontend.Variable + func IsLessOrEqual(api frontend.API, a, b frontend.Variable) frontend.Variable + func IsLessOrEqualBinary(api frontend.API, aBits, bBits []frontend.Variable) frontend.Variable + type BoundedComparator struct + func NewBoundedComparator(api frontend.API, absDiffUpp *big.Int, allowNonDeterministicBehaviour bool) *BoundedComparator + func (bc BoundedComparator) AssertIsLess(a, b frontend.Variable) + func (bc BoundedComparator) AssertIsLessEq(a, b frontend.Variable) + func (bc BoundedComparator) IsLess(a, b frontend.Variable) frontend.Variable + func (bc BoundedComparator) IsLessEq(a, b frontend.Variable) frontend.Variable + func (bc BoundedComparator) Min(a, b frontend.Variable) frontend.Variable
Go to main page