Module oxidd_core::util

source ·
Expand description

Various utilities

Re-exports§

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§

Type Aliases§