mdd

package

v0.0.0-...-c730170 Latest Latest Go to latest Published: Oct 18, 2021 License: MIT Imports: 5 Imported by: 0

Details

Valid go.mod file

The Go module system was introduced in Go 1.11 and is the official dependency management solution for Go.
Redistributable license

Redistributable licenses place minimal restrictions on how software can be used, modified, and redistributed.
Tagged version

Modules with tagged versions give importers more predictable builds.
Stable version

When a project reaches major version v1 it is considered stable.
Learn more about best practices

This section is empty.

This section is empty.

func Compare(aa, bb rbtree.Item) int

type IntervalMddStore struct {
	NextId   int
	Nodes    []*IntervalNode
	MaxNodes int
	Top      int
	// contains filtered or unexported fields
}

func InitIntervalMdd(size int) (b IntervalMddStore)

func (b *IntervalMddStore) ClauseIds(n IntervalNode) (v int, level int, des []int)

preparation for MDDs, gives out ids of descendants

func (store *IntervalMddStore) Debug(withTable bool)

func (mddStore *IntervalMddStore) GetByWeight(level int, weight int64) (id int, wmin, wmax int64)

returns node, if exists

func (mddStore *IntervalMddStore) Insert(n IntervalNode) (id int)

func (store *IntervalMddStore) RemoveRedundants() (removed int)

cleans the mdd from redundant nodes

type IntervalNode struct {
	Id       int
	Level    int
	Wmin     int64
	Wmax     int64
	Children []int
}

func (node IntervalNode) IsOne() bool

func (node IntervalNode) IsZero() bool

type MddStore struct {
	NextId int
	Nodes  []*Node
	//	Levels   [][]*Node
	MaxNodes int
	Top      int
	// contains filtered or unexported fields
}

func Init() (b MddStore)

func (mdd *MddStore) NewNode(l int, children []int) int

func (mdd *MddStore) PrintDOT()

type Node struct {
	Id       int
	Level    int
	Children []int
	Parents  []int
}

func (node Node) IsOne() bool

func (node Node) IsZero() bool

func (node Node) Print()