Struct Function 

pub struct Function<NC: InnerNodeCons<ET>, ET: Tag, TMC: TerminalManagerCons<NC, ET, TERMINALS>, RC: DiagramRulesCons<NC, ET, TMC, MDC, TERMINALS>, MDC: ManagerDataCons<NC, ET, TMC, RC, TERMINALS>, const TERMINALS: usize> { /* private fields */ }

Implementations

impl<NC: InnerNodeCons<ET>, ET: Tag, TMC: TerminalManagerCons<NC, ET, TERMINALS>, RC: DiagramRulesCons<NC, ET, TMC, MDC, TERMINALS>, MDC: ManagerDataCons<NC, ET, TMC, RC, TERMINALS>, const TERMINALS: usize> Function<NC, ET, TMC, RC, MDC, TERMINALS>

pub fn into_raw(self) -> (*const c_void, u32)

Convert self into a raw pointer and edge value, e.g., for usage in a foreign function interface.

This method does not change any reference counters. To avoid a memory leak, use Self::from_raw() to convert pointer and edge value back into a Function.

pub unsafe fn from_raw(ptr: *const c_void, edge_val: u32) -> Self

Convert ptr and edge_val into a Function

Safety

raw and edge_val must have been obtained via Self::into_raw(). This function does not change any reference counters, so calling this function multiple times for the same pointer may lead to use after free bugs depending on the usage of the returned Function.

Trait Implementations

impl<NC: InnerNodeCons<ET>, ET: Tag, TMC: TerminalManagerCons<NC, ET, TERMINALS>, RC: DiagramRulesCons<NC, ET, TMC, MDC, TERMINALS>, MDC: ManagerDataCons<NC, ET, TMC, RC, TERMINALS>, const TERMINALS: usize> Clone for Function<NC, ET, TMC, RC, MDC, TERMINALS>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<NC: InnerNodeCons<ET>, ET: Tag, TMC: TerminalManagerCons<NC, ET, TERMINALS>, RC: DiagramRulesCons<NC, ET, TMC, MDC, TERMINALS>, MDC: ManagerDataCons<NC, ET, TMC, RC, TERMINALS>, const TERMINALS: usize> Drop for Function<NC, ET, TMC, RC, MDC, TERMINALS>

fn drop(&mut self)

Executes the destructor for this type.

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.

impl<NC: InnerNodeCons<ET>, ET: Tag, TMC: TerminalManagerCons<NC, ET, TERMINALS>, RC: DiagramRulesCons<NC, ET, TMC, MDC, TERMINALS>, MDC: ManagerDataCons<NC, ET, TMC, RC, TERMINALS>, const TERMINALS: usize> Eq for Function<NC, ET, TMC, RC, MDC, TERMINALS>

impl<NC: InnerNodeCons<ET>, ET: Tag, TMC: TerminalManagerCons<NC, ET, TERMINALS>, RC: DiagramRulesCons<NC, ET, TMC, MDC, TERMINALS>, MDC: ManagerDataCons<NC, ET, TMC, RC, TERMINALS>, const TERMINALS: usize> Function for Function<NC, ET, TMC, RC, MDC, TERMINALS>

const REPR_ID: &str = "<none>"

Representation identifier such as “BDD” or “MTBDD”

type Manager<'id> = Manager<'id, <NC as InnerNodeCons<ET>>::T<'id>, ET, <TMC as TerminalManagerCons<NC, ET, TERMINALS>>::T<'id>, <RC as DiagramRulesCons<NC, ET, TMC, MDC, TERMINALS>>::T<'id>, <MDC as ManagerDataCons<NC, ET, TMC, RC, TERMINALS>>::T<'id>, TERMINALS>

Type of the associated manager

type ManagerRef = ManagerRef<NC, ET, TMC, RC, MDC, TERMINALS>

Manager references for Self::Manager

fn from_edge<'id>( manager: &Self::Manager<'id>, edge: EdgeOfFunc<'id, Self>, ) -> Self

Create a new function from a manager reference and an edge

fn as_edge<'id>(&self, manager: &Self::Manager<'id>) -> &EdgeOfFunc<'id, Self>

Converts this function into the underlying edge (as reference), checking that it belongs to the given manager

fn into_edge<'id>(self, manager: &Self::Manager<'id>) -> EdgeOfFunc<'id, Self>

Converts this function into the underlying edge, checking that it belongs to the given manager

fn manager_ref(&self) -> Self::ManagerRef

Clone the ManagerRef part

fn with_manager_shared<F, T>(&self, f: F) -> T

where F: for<'id> FnOnce(&Self::Manager<'id>, &EdgeOfFunc<'id, Self>) -> T,

Obtain a shared manager reference as well as the underlying edge

fn with_manager_exclusive<F, T>(&self, f: F) -> T

where F: for<'id> FnOnce(&mut Self::Manager<'id>, &EdgeOfFunc<'id, Self>) -> T,

Obtain an exclusive manager reference as well as the underlying edge

fn from_edge_ref<'id>( manager: &Self::Manager<'id>, edge: &<Self::Manager<'id> as Manager>::Edge, ) -> Self

Create a new function from a manager reference and an edge reference

fn node_count(&self) -> usize

Count the number of nodes in this function, including terminal nodes

impl<NC: InnerNodeCons<ET>, ET: Tag, TMC: TerminalManagerCons<NC, ET, TERMINALS>, RC: DiagramRulesCons<NC, ET, TMC, MDC, TERMINALS>, MDC: ManagerDataCons<NC, ET, TMC, RC, TERMINALS>, const TERMINALS: usize> Hash for Function<NC, ET, TMC, RC, MDC, TERMINALS>

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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<NC: InnerNodeCons<ET>, ET: Tag, TMC: TerminalManagerCons<NC, ET, TERMINALS>, RC: DiagramRulesCons<NC, ET, TMC, MDC, TERMINALS>, MDC: ManagerDataCons<NC, ET, TMC, RC, TERMINALS>, const TERMINALS: usize> Ord for Function<NC, ET, TMC, RC, MDC, TERMINALS>

fn cmp(&self, __other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl<NC: InnerNodeCons<ET>, ET: Tag, TMC: TerminalManagerCons<NC, ET, TERMINALS>, RC: DiagramRulesCons<NC, ET, TMC, MDC, TERMINALS>, MDC: ManagerDataCons<NC, ET, TMC, RC, TERMINALS>, const TERMINALS: usize> PartialEq for Function<NC, ET, TMC, RC, MDC, TERMINALS>

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<NC: InnerNodeCons<ET>, ET: Tag, TMC: TerminalManagerCons<NC, ET, TERMINALS>, RC: DiagramRulesCons<NC, ET, TMC, MDC, TERMINALS>, MDC: ManagerDataCons<NC, ET, TMC, RC, TERMINALS>, const TERMINALS: usize> PartialOrd for Function<NC, ET, TMC, RC, MDC, TERMINALS>

fn partial_cmp(&self, __other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.