Module util

Source
Expand description

Various utilities

Re-exports§

pub use edge_hash_map::EdgeHashMap;

Modules§

edge_hash_map
HashMap mapping from edges to values of another type. Performs the necessary management of Edges.
num
Number types useful for counting satisfying assignments

Structs§

AbortOnDrop
Zero-sized struct that calls std::process::abort() if dropped
Borrowed
Borrowed version of some handle
BorrowedEdgeIter
Iterator that yields borrowed edges (Borrowed<'a, E>) provided that I is an iterator that yields &'a E.
EdgeDropGuard
Drop guard for edges to ensure that they are not leaked
EdgeVecDropGuard
Drop guard for vectors of edges to ensure that they are not leaked
InnerNodeDropGuard
Drop guard for inner nodes to ensure that they are not leaked
MapSubst
Substitution mapping variables to replacement functions, created via Substitution::map()
OutOfMemory
Out of memory error type
Rng
An instance of the WyRand random number generator. Seeded from the system entropy generator when available. This generator is NOT cryptographically secure.
SatCountCache
Cache for counting satisfying assignments
Subst
Substitution mapping variables to replacement functions, created from slices of functions

Enums§

OptBool
Optional Boolean with repr(i8)

Traits§

DropWith
Drop functionality for containers of Edges
GCContainer
A container that may hold “weak” references to nodes and needs to be informed about operations potentially removing nodes
IsFloatingPoint
Is the underlying type a floating point number?
NodeSet
Set of nodes
SatCountNumber
A number type suitable for counting satisfying assignments
Substitution
Substitution mapping variables to replacement functions

Functions§

new_substitution_id
Generate a new, globally unique substitution ID

Type Aliases§

AllocResult
Result type with OutOfMemory error