Module rustsat::types

Common Types for SAT Solving

Common types used throughout the library to guarantee type safety.

Re-exports

• pub use constraints::Clause;

Modules

• constraints
  Constraint Types

Structs

• Assignment
  Type representing an assignment of variables.
• Lit
  Type representing literals, possibly negated boolean variables.
• Var
  Type representing boolean variables in a SAT problem. Variables indexing in RustSAT starts from 0 and the maximum index is (u32::MAX - 1) / 2. This is because literals are represented as a single u32 as well. The memory representation of variables is u32.

Enums

• TernaryVal
  Ternary value assigned to a literal or variable, including possible “don’t care”
• TypeError
  Errors related to types

Traits

• ClsIter
  An iterator over clauses
• IWLitIter
  An iterator over integer-weighted literals
• LitIter
  An iterator over literals
• WClsIter
  An iterator over weighted clauses
• WLitIter
  An iterator over weighted literals

Type Aliases

• RsHashMap
  The hash map to use throughout the library
• RsHashSet
  The hash set to use throughout the library
• RsHasher
  The hasher to use throught the library