Enum DimacsError 

pub enum DimacsError {
    MissingHeader,
    MalformedHeader(String),
    VarOutOfRange {
        var: i64,
        num_vars: usize,
    },
    InvalidToken(String),
    UnterminatedClause,
}

Why a DIMACS input was rejected. Better a typed error than a silently wrong formula.

Variants

MissingHeader

Clause data appeared before any p cnf … header (or no header at all).

MalformedHeader(String)

A header line was present but was not p cnf <nat> <nat>.

VarOutOfRange

A literal named var, whose magnitude exceeds the declared num_vars.

Fields

var: i64

num_vars: usize

InvalidToken(String)

A non-integer token appeared in the clause body.

UnterminatedClause

The input ended mid-clause: literals with no terminating 0.

Trait Implementations

impl Clone for DimacsError

fn clone(&self) -> DimacsError

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DimacsError

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for DimacsError

fn eq(&self, other: &DimacsError) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for DimacsError

impl StructuralPartialEq for DimacsError