Enum varisat_dimacs::ParserError

pub enum ParserError {
    UnexpectedInput {
        line: usize,
        unexpected: char,
    },
    LiteralTooLarge {
        line: usize,
        index: usize,
        final_digit: usize,
    },
    InvalidHeader {
        line: usize,
        header: String,
    },
    UnterminatedClause {
        line: usize,
    },
    VarCount {
        var_count: usize,
        header_var_count: usize,
    },
    ClauseCount {
        clause_count: usize,
        header_clause_count: usize,
    },
    PreviousError,
}

Possible errors while parsing a DIMACS CNF formula.

Variants

UnexpectedInput

Fields of UnexpectedInput

line: usizeunexpected: char

LiteralTooLarge

Fields of LiteralTooLarge

line: usizeindex: usizefinal_digit: usize

InvalidHeader

Fields of InvalidHeader

line: usizeheader: String

UnterminatedClause

Fields of UnterminatedClause

line: usize

VarCount

Fields of VarCount

var_count: usizeheader_var_count: usize

ClauseCount

Fields of ClauseCount

clause_count: usizeheader_clause_count: usize

PreviousError

Trait Implementations

impl Debug for ParserError

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

Formats the value using the given formatter.

impl Display for ParserError

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

Formats the value using the given formatter.

impl Error for ParserError

fn source(&self) -> Option<&(dyn Error + 'static)>

The lower-level source of this error, if any.

fn backtrace(&self) -> Option<&Backtrace>

🔬 This is a nightly-only experimental API. (backtrace)

Returns a stack backtrace, if available, of where this error occurred.

fn description(&self) -> &str

👎 Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎 Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting