Trait flussab_cnf::Dimacs [−][src]
Type that can be used to represent literals and variables in DIMACS CNF and related file formats.
Associated Constants
const MAX_DIMACS: isize
[src]
Largest literal / variable supported.
Required methods
fn from_dimacs(value: isize) -> Self
[src]
Returns a literal / variable that is encoded as the passed integer in the DIMACS CNF format.
If the value is out of range, e.g. negative for a variable, this may panic or return an arbitrary value.
fn dimacs(self) -> isize
[src]
Returns the integer that is used to encode this literal / variable in the DIMACS CNF format.