Enum dimacs::Instance
[−]
[src]
pub enum Instance { Cnf { num_vars: u64, clauses: Box<[Clause]>, }, Sat { num_vars: u64, extensions: Extensions, formula: Formula, }, }
Represents a SAT instance for .cnf
or .sat
files.
Variants
Cnf
A .cnf
SAT instance with clauses.
Fields of Cnf
num_vars: u64 | The number of unique variables used within this |
clauses: Box<[Clause]> | The clauses within this |
Sat
A .sat
SAT instance with an underlying formula and extensions.
Fields of Sat
num_vars: u64 | The number of unique variables used within this |
extensions: Extensions | Extensions (e.g. |
formula: Formula | The underlying formula of this SAT instance. |
Methods
impl Instance
[src]
fn cnf(num_vars: u64, clauses: Vec<Clause>) -> Instance
Creates a new SAT instance for .cnf
files with given clauses.
fn sat(num_vars: u64, extensions: Extensions, formula: Formula) -> Instance
Creates a new SAT instance for .sat
files with given extensions and an underlying formula.
Trait Implementations
impl Debug for Instance
[src]
impl Clone for Instance
[src]
fn clone(&self) -> Instance
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0
Performs copy-assignment from source
. Read more
impl PartialEq for Instance
[src]
fn eq(&self, __arg_0: &Instance) -> bool
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, __arg_0: &Instance) -> bool
This method tests for !=
.