Struct oxidd_parser::ParseOptions

#[non_exhaustive]
pub struct ParseOptions {
    pub orders: bool,
}

Options for the parsers

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

orders: bool

Whether to parse orders (e.g., variable or clause order)

The DIMACS satisfiability formats, for instance, do not natively support specifying orders, however it is not uncommon to use the comment lines for them. But while some files may contain orders in the comment lines, others may use them for arbitrary comments. Hence, it may be desired to turn on parsing orders for some files and turn it off for other files.

Trait Implementations

impl Clone for ParseOptions

fn clone(&self) -> ParseOptions

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ParseOptions

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

Formats the value using the given formatter.

impl Default for ParseOptions

fn default() -> ParseOptions

Returns the “default value” for a type.