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 ofEdge
s.- num
- Number types useful for counting satisfying assignments
Structs§
- Abort
OnDrop - Zero-sized struct that calls
std::process::abort()
if dropped - Borrowed
- Borrowed version of some handle
- Borrowed
Edge Iter - Iterator that yields borrowed edges (
Borrowed<'a, E>
) provided thatI
is an iterator that yields&'a E
. - Edge
Drop Guard - Drop guard for edges to ensure that they are not leaked
- Edge
VecDrop Guard - Drop guard for vectors of edges to ensure that they are not leaked
- Inner
Node Drop Guard - Drop guard for inner nodes to ensure that they are not leaked
- MapSubst
- Substitution mapping variables to replacement functions, created via
Substitution::map()
- OutOf
Memory - 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.
- SatCount
Cache - 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§
- Drop
With - Drop functionality for containers of
Edge
s - GCContainer
- A container that may hold “weak” references to nodes and needs to be informed about operations potentially removing nodes
- IsFloating
Point - Is the underlying type a floating point number?
- NodeSet
- Set of nodes
- SatCount
Number - 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§
- Alloc
Result - Result type with
OutOfMemory
error