tiny.pluck.bdd.Node

Defined in bdd.

API (4)

Actions

Public operations.

• init

Fields and members

Public fields and members.

• high
• low
• var_label

Source

Source: lib/pluck/src/bdd.zig:91

1pub const Node = struct {2    var_label: VarLabel,3    low: Bdd,4    high: Bdd,56    pub fn init(var_label: VarLabel, low: Bdd, high: Bdd) Node {7        return Node{8            .var_label = var_label,9            .low = low,10            .high = high,11        };12    }13};

Complete caller list for bdd.Node.init

11 direct callers.

• tiny.pluck.bdd.Manager.compose [method] at lib/pluck/src/bdd.zig:993
• lib.pluck.src.bdd.Manager.conditionHelper [method] — private source at lib/pluck/src/bdd.zig:942 in nearest public owner tiny.pluck.bdd
• lib.pluck.src.bdd.Manager.getOrInsert [method] — private source at lib/pluck/src/bdd.zig:572 in nearest public owner tiny.pluck.bdd
• tiny.pluck.bdd.Manager.init [function] at lib/pluck/src/bdd.zig:464
• tiny.pluck.bdd.Manager.ite [method] at lib/pluck/src/bdd.zig:755
• tiny.pluck.bdd.Manager.newVar [method] at lib/pluck/src/bdd.zig:528
• tiny.pluck.bdd.Manager.newVarAtPosition [method] at lib/pluck/src/bdd.zig:540
• tiny.pluck.bdd.Manager.swapAdjacentVars [method] at lib/pluck/src/bdd.zig:1108
• tiny.pluck.bdd.WeightedSampler.init [function] at lib/pluck/src/bdd.zig:3068
• lib.pluck.src.bdd.enumeratePaths [function] — private source at lib/pluck/src/bdd.zig:3318 in nearest public owner tiny.pluck.bdd
• lib.pluck.src.bdd.sampleVarBdd [function] — private source at lib/pluck/src/bdd.zig:3186 in nearest public owner tiny.pluck.bdd

Audit