Struct Function 

pub struct Function<NC: InnerNodeCons<ET, TAG_BITS>, ET: Tag, TMC: TerminalManagerCons<NC, ET, RC, MDC, PAGE_SIZE, TAG_BITS>, RC: DiagramRulesCons<NC, ET, TMC, MDC, PAGE_SIZE, TAG_BITS>, MDC: ManagerDataCons<NC, ET, TMC, RC, PAGE_SIZE, TAG_BITS>, const PAGE_SIZE: usize, const TAG_BITS: u32>(/* private fields */);

Implementations

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

pub fn into_raw(self) -> *const c_void

Convert self into a raw pointer, 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 the pointer back into a Function.

pub unsafe fn from_raw(raw: *const c_void) -> Self

Convert raw into a Function

Safety

raw 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, TAG_BITS>, ET: Tag, TMC: TerminalManagerCons<NC, ET, RC, MDC, PAGE_SIZE, TAG_BITS>, RC: DiagramRulesCons<NC, ET, TMC, MDC, PAGE_SIZE, TAG_BITS>, MDC: ManagerDataCons<NC, ET, TMC, RC, PAGE_SIZE, TAG_BITS>, const PAGE_SIZE: usize, const TAG_BITS: u32> Clone for Function<NC, ET, TMC, RC, MDC, PAGE_SIZE, TAG_BITS>

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, TAG_BITS>, ET: Tag, TMC: TerminalManagerCons<NC, ET, RC, MDC, PAGE_SIZE, TAG_BITS>, RC: DiagramRulesCons<NC, ET, TMC, MDC, PAGE_SIZE, TAG_BITS>, MDC: ManagerDataCons<NC, ET, TMC, RC, PAGE_SIZE, TAG_BITS>, const PAGE_SIZE: usize, const TAG_BITS: u32> Drop for Function<NC, ET, TMC, RC, MDC, PAGE_SIZE, TAG_BITS>

fn drop(&mut self)

Executes the destructor for this type.

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

const REPR_ID: &str = "<none>"

Representation identifier such as “BDD” or “MTBDD”

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

Type of the associated manager

type ManagerRef = ManagerRef<NC, ET, TMC, RC, MDC, PAGE_SIZE, TAG_BITS>

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, TAG_BITS>, ET: Tag, TMC: TerminalManagerCons<NC, ET, RC, MDC, PAGE_SIZE, TAG_BITS>, RC: DiagramRulesCons<NC, ET, TMC, MDC, PAGE_SIZE, TAG_BITS>, MDC: ManagerDataCons<NC, ET, TMC, RC, PAGE_SIZE, TAG_BITS>, const PAGE_SIZE: usize, const TAG_BITS: u32> Hash for Function<NC, ET, TMC, RC, MDC, PAGE_SIZE, TAG_BITS>

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, TAG_BITS>, ET: Tag, TMC: TerminalManagerCons<NC, ET, RC, MDC, PAGE_SIZE, TAG_BITS>, RC: DiagramRulesCons<NC, ET, TMC, MDC, PAGE_SIZE, TAG_BITS>, MDC: ManagerDataCons<NC, ET, TMC, RC, PAGE_SIZE, TAG_BITS>, const PAGE_SIZE: usize, const TAG_BITS: u32> Ord for Function<NC, ET, TMC, RC, MDC, PAGE_SIZE, TAG_BITS>

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, TAG_BITS>, ET: Tag, TMC: TerminalManagerCons<NC, ET, RC, MDC, PAGE_SIZE, TAG_BITS>, RC: DiagramRulesCons<NC, ET, TMC, MDC, PAGE_SIZE, TAG_BITS>, MDC: ManagerDataCons<NC, ET, TMC, RC, PAGE_SIZE, TAG_BITS>, const PAGE_SIZE: usize, const TAG_BITS: u32> PartialEq for Function<NC, ET, TMC, RC, MDC, PAGE_SIZE, TAG_BITS>

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, TAG_BITS>, ET: Tag, TMC: TerminalManagerCons<NC, ET, RC, MDC, PAGE_SIZE, TAG_BITS>, RC: DiagramRulesCons<NC, ET, TMC, MDC, PAGE_SIZE, TAG_BITS>, MDC: ManagerDataCons<NC, ET, TMC, RC, PAGE_SIZE, TAG_BITS>, const PAGE_SIZE: usize, const TAG_BITS: u32> PartialOrd for Function<NC, ET, TMC, RC, MDC, PAGE_SIZE, TAG_BITS>

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.

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

impl<NC: InnerNodeCons<ET, TAG_BITS>, ET: Tag, TMC: TerminalManagerCons<NC, ET, RC, MDC, PAGE_SIZE, TAG_BITS>, RC: DiagramRulesCons<NC, ET, TMC, MDC, PAGE_SIZE, TAG_BITS>, MDC: ManagerDataCons<NC, ET, TMC, RC, PAGE_SIZE, TAG_BITS>, const PAGE_SIZE: usize, const TAG_BITS: u32> Send for Function<NC, ET, TMC, RC, MDC, PAGE_SIZE, TAG_BITS>

where for<'id> NC::T<'id>: Send + Sync, for<'id> TMC::T<'id>: Send + Sync, for<'id> MDC::T<'id>: Send + Sync,

impl<NC: InnerNodeCons<ET, TAG_BITS>, ET: Tag, TMC: TerminalManagerCons<NC, ET, RC, MDC, PAGE_SIZE, TAG_BITS>, RC: DiagramRulesCons<NC, ET, TMC, MDC, PAGE_SIZE, TAG_BITS>, MDC: ManagerDataCons<NC, ET, TMC, RC, PAGE_SIZE, TAG_BITS>, const PAGE_SIZE: usize, const TAG_BITS: u32> Sync for Function<NC, ET, TMC, RC, MDC, PAGE_SIZE, TAG_BITS>

where for<'id> NC::T<'id>: Send + Sync, for<'id> TMC::T<'id>: Send + Sync, for<'id> MDC::T<'id>: Send + Sync,