Struct satoxid::DimacsWriter [−][src]
pub struct DimacsWriter { /* fields omitted */ }
Expand description
Backend which collects all generated clauses and is able to print them in the DIMACS format.
Implementations
impl DimacsWriter
[src]
impl DimacsWriter
[src]Trait Implementations
impl Backend for DimacsWriter
[src]
impl Backend for DimacsWriter
[src]fn add_clause<I>(&mut self, lits: I) where
I: Iterator<Item = i32>,
[src]
fn add_clause<I>(&mut self, lits: I) where
I: Iterator<Item = i32>,
[src]Add raw clause as integer SAT variable.
These are usually determined using VarMap
. Read more
fn add_debug_info<D: Debug>(&mut self, debug: D)
[src]
fn add_debug_info<D: Debug>(&mut self, debug: D)
[src]fn append_debug_info<D: Debug>(&mut self, debug: D)
[src]
impl Default for DimacsWriter
[src]
impl Default for DimacsWriter
[src]fn default() -> DimacsWriter
[src]
fn default() -> DimacsWriter
[src]Returns the “default value” for a type. Read more