[−][src]Function cnf_parser::parse_cnf
pub fn parse_cnf<I, O>(
input: &mut I,
output: &mut O
) -> Result<(), Error<<O as Output>::Error>> where
I: Input,
O: Output,
Parses a CNF formatted input stream into the given output.
Errors
- If the CNF input is malformed.
- If the output triggers a custom error.