Expand description
Various utilities
Re-exports§
pub use edge_hash_map::EdgeHashMap;pub use var_name_map::VarNameMap;
Modules§
- edge_
hash_ map HashMapmapping from edges to values of another type. Performs the necessary management ofEdges.- num
- Number types useful for counting satisfying assignments
- var_
name_ map - Efficient bi-directional mapping between variables and names
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 thatIis 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() - OnDrop
OnDrop::new(data, f)executesf(data)when dropped- 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
Edges - 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
OutOfMemoryerror - OutOf
Memory Deprecated - Deprecated alias for
crate::error::OutOfMemory