Documentation ¶ Index ¶ func Evaluate(nodes []int32, root int32, evalCond func(int) bool) int32 Constants ¶ This section is empty. Variables ¶ This section is empty. Functions ¶ func Evaluate ¶ func Evaluate(nodes []int32, root int32, evalCond func(int) bool) int32 Evaluate traverses a compiled BDD node array and returns the result index. nodes is a flat array of [condIdx, hi, lo] triples (1-indexed). root is the root node reference. evalCond returns true/false for condition index. Types ¶ This section is empty. Source Files ¶ View all Source files evaluate.go Click to show internal directories. Click to hide internal directories.
Documentation
¶
Source Files