Module dimacs::errors [−] [src]

Defines some error kinds and facilities to communicate errors while parsing .cnf or .sat files.

Structs

Loc	Represents a source line and column of an error. Used to provide the user of this parser facility with necesary information to debug their input files formats.
ParseError	Represents an error that occured while parsing.

Different kinds of errors that may occure while parsing.

The result type used within this crate while parsing.