Struct FoldNode

pub struct FoldNode<'a> {
    pub parent_is_compl: bool,
    pub node: BddPtr<'a>,
    pub var: Option<VarLabel>,
}

The intermediate representation for a BddPtr that is being folded in a Fold computation.

• FoldNode::parent_is_compl: tells you if the parent node was a BddPtr::Compl.
• FoldNode::node: gives you the pointer to the current node.
• FoldNode::var: gives you the VarLabel if the node is a BddPtr::Reg.

Fields

parent_is_compl: bool

node: BddPtr<'a>

var: Option<VarLabel>