Struct ParseOptionsBuilder

pub struct ParseOptionsBuilder { /* private fields */ }

Builder for ParseOptions.

Implementations

impl ParseOptionsBuilder

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

Whether to parse a variable orders

The DIMACS satisfiability formats, for instance, do not natively support specifying a variable order, however it is not uncommon to use the comment lines for this purpose. But while some files may contain a variable order 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 clause_tree(&mut self, value: bool) -> &mut Self

Whether to parse a clause tree (for DIMACS CNF)

If the CNF contains, e.g., five clauses, and one of the comment lines contains co [[0, 1], [2, 3, 4]], then the parsed circuit will have three AND gates (one with clauses 0 and 1 as input, one with clauses 2, 3, and 4, as well as one with those two conjuncts).

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

Whether to check that the circuit is acyclic

The time complexity of this check is linear in the circuit’s size, and therefore rather inexpensive. Therefore, it is enabled by default.

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 4)

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.