Trait ddo::SelectableNode

pub trait SelectableNode<T> {
    pub fn state(&self) -> &T;
    pub fn value(&self) -> isize;
    pub fn is_exact(&self) -> bool;
}

This trait defines a minimal abstraction over the MDD nodes so that they can easily (and transparently) be ordered by the NodeSelectionHeuristic.

Required methods

pub fn state(&self) -> &T

Returns a reference to the state of this node.

pub fn value(&self) -> isize

Returns the value of the objective function at this node. In other words, it returns the length of the longest path from root to this node.

pub fn is_exact(&self) -> bool

Returns true iff the node is an exact node (not merged, and has no merged ancestor).

Loading content...

Implementations on Foreign Types

impl<T> SelectableNode<T> for Rc<Node<T>>

If a layer grows too large, the branch and bound algorithm might need to squash the current layer and thus to select some Nodes for merge or removal.

pub fn state(&self) -> &T

Returns a reference to the state of this node

pub fn value(&self) -> isize

Returns the value of the objective function at this node.

pub fn is_exact(&self) -> bool

Returns true iff the node is an exact node.

Loading content...

Implementors

Loading content...