Struct splr::types::CNFReader

pub struct CNFReader {
    pub cnf: CNFDescription,
    pub reader: BufReader<File>,
}

A wrapper structure to make a CNFDescription from a file. To make CNFDescription clonable, a BufReader should be separated from it. If you want to make a CNFDescription which isn't connected to a file, just call CNFDescription::default() directly.

Fields

cnf: CNFDescription

reader: BufReader<File>

Trait Implementations

impl Debug for CNFReader

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

Formats the value using the given formatter.

impl TryFrom<&'_ PathBuf> for CNFReader

type Error = SolverError

The type returned in the event of a conversion error.

pub fn try_from(path: &PathBuf) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<&'_ str> for CNFReader

type Error = SolverError

The type returned in the event of a conversion error.

pub fn try_from(s: &str) -> Result<Self, Self::Error>

Performs the conversion.