Versions in this module Expand all Collapse all v0 v0.0.3 Aug 16, 2024 v0.0.2 Aug 14, 2024 Changes in this version + type Expression []Term + func NewConstantExpression(c constraint.Element) Expression + func NewLinearExpression(v int, c constraint.Element) Expression + func NewQuadraticExpression(v0, v1 int, c constraint.Element) Expression + func (e Expression) Clone() Expression + func (e Expression) CountOfDegrees() (int, int, int) + func (e Expression) Degree() int + func (e Expression) Equal(o Expression) bool + func (e Expression) EqualI(o utils.Hashable) bool + func (e Expression) HashCode() uint64 + func (e Expression) IsConstant() bool + func (e Expression) Len() int + func (e Expression) Less(i, j int) bool + func (e Expression) Swap(i, j int) + func (e Expression) ToBigIntRegular(*big.Int) *big.Int + type Term struct + Coeff constraint.Element + VID0 int + VID1 int + func NewTerm(vID0, vID1 int, coeff constraint.Element) Term + func (t *Term) Degree() int + func (t *Term) SetCoeff(c constraint.Element) + func (t Term) HashCode() uint64 + func (t Term) ToBigIntRegular(*big.Int) *big.Int