Versions in this module Expand all Collapse all v1 v1.1.0 May 21, 2021 Changes in this version + func Cacheratio(ratio int) func(*configs) + func Cachesize(size int) func(*configs) + func Maxnodeincrease(size int) func(*configs) + func Maxnodesize(size int) func(*configs) + func Minfreenodes(ratio int) func(*configs) + func Nodesize(size int) func(*configs) + type BDD struct + func New(varnum int, options ...func(*configs)) (*BDD, error) + func (b *BDD) Allnodes(f func(id, level, low, high int) error, n ...Node) error + func (b *BDD) Allsat(f func([]int) error, n Node) error + func (b *BDD) And(n ...Node) Node + func (b *BDD) AndExist(varset, n1, n2 Node) Node + func (b *BDD) AppEx(n1, n2 Node, op Operator, varset Node) Node + func (b *BDD) Apply(n1, n2 Node, op Operator) Node + func (b *BDD) Dot(w io.Writer, n ...Node) error + func (b *BDD) Equal(n1, n2 Node) bool + func (b *BDD) Equiv(n1, n2 Node) Node + func (b *BDD) Error() string + func (b *BDD) Errored() bool + func (b *BDD) Exist(n, varset Node) Node + func (b *BDD) False() Node + func (b *BDD) From(v bool) Node + func (b *BDD) High(n Node) Node + func (b *BDD) Imp(n1, n2 Node) Node + func (b *BDD) Ite(f, g, h Node) Node + func (b *BDD) Ithvar(i int) Node + func (b *BDD) Label(n Node) int + func (b *BDD) Low(n Node) Node + func (b *BDD) Makeset(varset []int) Node + func (b *BDD) NIthvar(i int) Node + func (b *BDD) NewReplacer(oldvars, newvars []int) (Replacer, error) + func (b *BDD) Not(n Node) Node + func (b *BDD) Or(n ...Node) Node + func (b *BDD) Print(w io.Writer, n ...Node) + func (b *BDD) Replace(n Node, r Replacer) Node + func (b *BDD) Satcount(n Node) *big.Int + func (b *BDD) Scanset(n Node) []int + func (b *BDD) Stats() string + func (b *BDD) True() Node + func (b *BDD) Varnum() int + type Node *int + type Operator int + const OPand + const OPbiimp + const OPdiff + const OPimp + const OPinvimp + const OPless + const OPnand + const OPnor + const OPor + const OPxor + func (op Operator) String() string + type Replacer interface + Id func() int + Replace func(int32) (int32, bool)