Struct DummyManager 

pub struct DummyManager;

Dummy manager that does not actually manage anything. It is only useful to clone and drop edges.

Trait Implementations

impl HasWorkers for DummyManager

type WorkerPool = Workers

Type of the worker pool

fn workers(&self) -> &Self::WorkerPool

Get the worker pool

impl Manager for DummyManager

type Edge = DummyEdge

Type of edge

type EdgeTag = ()

Type of edge tags

type InnerNode = DummyNode

Type of inner nodes

type Terminal = ()

Type of terminals

type TerminalRef<'a> = &'a ()

References to Self::Terminals

type Rules = DummyRules

Diagram rules, see DiagramRules for more details

type TerminalIterator<'a> = Empty<DummyEdge> where Self: 'a

Iterator over all terminals

type NodeSet = HashSet<usize>

Node set type, possibly more efficient than a HashSet<NodeID>

type LevelView<'a> = DummyLevelView where Self: 'a

A view on a single level of the unique table.

type LevelIterator<'a> = Empty<DummyLevelView> where Self: 'a

Iterator over levels

fn get_node(&self, _edge: &Self::Edge) -> Node<'_, Self>

Get a reference to the node to which edge points

fn clone_edge(&self, edge: &Self::Edge) -> Self::Edge

Clone edge

fn drop_edge(&self, edge: Self::Edge)

Drop edge

fn try_remove_node(&self, edge: Self::Edge, _level: LevelNo) -> bool

Drop edge and try to remove the node it points to

fn num_inner_nodes(&self) -> usize

Get the count of inner nodes

fn num_levels(&self) -> LevelNo

Get the number of levels

fn num_named_vars(&self) -> VarNo

Get the number of named variables

fn add_vars(&mut self, _additional: VarNo) -> Range<VarNo>

Add additional unnamed variables to the decision diagram

fn add_named_vars<S: Into<String>>( &mut self, _names: impl IntoIterator<Item = S>, ) -> Result<Range<VarNo>, DuplicateVarName>

Add named variables to the decision diagram

fn var_name(&self, _var: VarNo) -> &str

Get var’s name

fn set_var_name( &mut self, _var: VarNo, _name: impl Into<String>, ) -> Result<(), DuplicateVarName>

Label var as name

fn name_to_var(&self, _name: impl AsRef<str>) -> Option<VarNo>

Get the variable number for the given variable name, if present

fn var_to_level(&self, _var: VarNo) -> LevelNo

Get the level for the given variable

fn level_to_var(&self, _level: LevelNo) -> VarNo

Get the variable for the given level

fn level(&self, _no: LevelNo) -> Self::LevelView<'_>

Get the level given by no

unsafe fn level_unchecked(&self, _no: LevelNo) -> Self::LevelView<'_>

Get the level given by no. Unsafe version of Self::level()

fn levels(&self) -> Self::LevelIterator<'_>

Iterate over the levels from top to bottom

fn get_terminal(&self, _terminal: Self::Terminal) -> AllocResult<Self::Edge>

Get an edge for the given terminal

fn num_terminals(&self) -> usize

Get the number of terminals

fn terminals(&self) -> Self::TerminalIterator<'_>

Iterator over all terminals

fn gc(&self) -> usize

Perform garbage collection

fn reorder<T>(&mut self, f: impl FnOnce(&mut Self) -> T) -> T

Prepare and postprocess a reordering operation. The reordering itself is performed in f.

fn gc_count(&self) -> u64

Get the count of garbage collections

fn reorder_count(&self) -> u64

Get the count of reordering operations

fn approx_num_inner_nodes(&self) -> usize

Get an approximate count of inner nodes

fn num_vars(&self) -> u32

Get the number of variables

fn add_named_vars_from_map( &mut self, map: VarNameMap, ) -> Result<Range<u32>, DuplicateVarName>

Add named variables to the decision diagram