Trait Output 

pub trait Output {
    type Error;

    // Required methods
    fn problem(
        &mut self,
        num_variables: u32,
        num_clauses: u32,
    ) -> Result<(), Self::Error>;
    fn literal(&mut self, literal: Literal) -> Result<(), Self::Error>;
    fn finalize_clause(&mut self) -> Result<(), Self::Error>;
    fn finish(&mut self) -> Result<(), Self::Error>;
}

The output where the CNF information is piped to.

Usually implemented by a dependency of this crate.

Required Associated Types

type Error

An error that can occure with the parser output.

Required Methods

fn problem( &mut self, num_variables: u32, num_clauses: u32, ) -> Result<(), Self::Error>

The optional problem line with the number of total variables and clauses.

Note

This will only be processed once per CNF input stream.

fn literal(&mut self, literal: Literal) -> Result<(), Self::Error>

A literal has been read.

fn finalize_clause(&mut self) -> Result<(), Self::Error>

The end of the current clause has been read.

fn finish(&mut self) -> Result<(), Self::Error>

Called at the end of CNF parsing.

Outputs can expect to receive no more messages from the parser after being called with finish.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors