Enum OPBToken 

pub enum OPBToken {
    Comment,
    Integer,
    Var,
    Negation,
    GreaterEqual,
    LessEqual,
    Equal,
    Semicolon,
    Minimize,
    Maximize,
    Label,
}

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

Variants

Comment

Comment lines.

Integer

Integer used for coefficients or degree (right-hand side).

Var

OPB variable.

Negation

Negation symbol for a literal.

GreaterEqual

Greater than or equal comparison for PB constraint.

LessEqual

Less than or equal comparison for PB constraint.

Equal

Equal comparison for PB constraint.

Semicolon

Semicolon which should end a PB constraint.

Minimize

Label to start the objective function that should be minimized.

Maximize

Label to start the objective function that should be maximized. While we support maximization objectives in the OPB file, internally the objective is always minimized.

Label

Constraint labels similar to the ones used in the proof format.

Trait Implementations

impl Debug for OPBToken

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

Formats the value using the given formatter.

impl Eq for OPBToken

impl<'s> Logos<'s> for OPBToken

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 OPBToken

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