Struct obddimal::bdd_node::DDNode

pub struct DDNode {
    pub id: NodeID,
    pub var: VarID,
    pub low: NodeID,
    pub high: NodeID,
}

Element of a BDD. Note that the Node contains its own ID. This may be set to zero until it has been assigned, and most importantly is not considered in hashing and equality testing.

Fields

id: NodeID

Node ID. Special values: 0 and 1 for terminal nodes

var: VarID

Variable number. Special variable 0 == terminal nodes

low: NodeID

high: NodeID

Implementations

impl DDNode

pub fn restrict(&self, top: VarID, order: &[u32], val: bool) -> NodeID

Returns the function resulting when setting the specified variable to the specified value. Note that this only implements the case of the node being at the exact level of the specified variable.

Trait Implementations

impl Clone for DDNode

fn clone(&self) -> DDNode

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DDNode

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for DDNode

Hash a node, not considering the ID!

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl PartialEq<DDNode> for DDNode

Test equality of two nodes, not considering the ID!

fn eq(&self, that: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl Copy for DDNode

impl Eq for DDNode