Struct oxidd_parser::ParseOptionsBuilder

pub struct ParseOptionsBuilder { /* private fields */ }

Builder for ParseOptions.

Implementations

impl ParseOptionsBuilder

pub fn orders(&mut self, value: bool) -> &mut Self

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.

pub fn build(&self) -> Result<ParseOptions, ParseOptionsBuilderError>

Builds a new ParseOptions.

Errors

If a required field has not been initialized.

Examples found in repository

examples/load_file.rs (line 5)

fn main() {
    let parse_options = ParseOptionsBuilder::default().build().unwrap();

    for arg in std::env::args().skip(1) {
        println!("\nloading {arg} ...");
        if let Some(problem) = load_file(arg, &parse_options) {
            println!("{problem:#?}")
        }
    }
}

Trait Implementations

impl Clone for ParseOptionsBuilder

fn clone(&self) -> ParseOptionsBuilder

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for ParseOptionsBuilder

fn default() -> Self

Returns the “default value” for a type.