Enum CNFToken 

pub enum CNFToken {
    Comment,
    ProblemHeader,
    Integer(Result<isize, ParseIntError>),
}

Tokens used in the OPB format as specified by the PB competition 2024.

Variants

Comment

Comment lines.

ProblemHeader

DIMACS CNF problem header identifier.

Integer(Result<isize, ParseIntError>)

Integer used to for number of variables, number of clauses, to identify literals, or to end clause.

Trait Implementations

impl Debug for CNFToken

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

Formats the value using the given formatter.

impl Eq for CNFToken

impl<'s> Logos<'s> for CNFToken

type Error = ()

Error type returned by the lexer. This can be set using #[logos(error = MyError)]. Defaults to () if not set.

type Extras = ()

Associated type Extras for the particular lexer. This can be set using #[logos(extras = MyExtras)] and accessed inside callbacks.

type Source = str

Source type this token can be lexed from. This will default to str, unless one of the defined patterns explicitly uses non-unicode byte values or byte slices, in which case that implementation will use [u8].

fn lex(lex: &mut Lexer<'s, Self>)

The heart of Logos. Called by the Lexer. The implementation for this function is generated by the logos-derive crate.

fn lexer(source: &'source Self::Source) -> Lexer<'source, Self>

where Self::Extras: Default,

Create a new instance of a Lexer that will produce tokens implementing this Logos.

fn lexer_with_extras( source: &'source Self::Source, extras: Self::Extras, ) -> Lexer<'source, Self>

Create a new instance of a Lexer with the provided Extras that will produce tokens implementing this Logos.

impl PartialEq for CNFToken

fn eq(&self, other: &CNFToken) -> 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 StructuralPartialEq for CNFToken