Struct PreprocessorChain

pub struct PreprocessorChain<L: Literal, S: LiteralStorage<L>> { /* private fields */ }

A chain of preprocessors, allowing multiple preprocessing techniques to be applied sequentially.

Preprocessors are stored as Arc<dyn Preprocessor<L, S>> to allow for different concrete preprocessor types in the same chain.

Type Parameters

• L: The Literal type.
• S: The LiteralStorage type.

Implementations

impl<L: Literal, S: LiteralStorage<L>> PreprocessorChain<L, S>

pub const fn new() -> Self

Creates a new, empty PreprocessorChain.

pub fn add_preprocessor<P: Preprocessor<L, S> + 'static>( self, preprocessor: P, ) -> Self

Adds a preprocessor to the chain.

The preprocessor is wrapped in an Arc to be stored in the chain. This method consumes self and returns a new chain with the added preprocessor.

Arguments

• preprocessor: An instance of a type P that implements Preprocessor<L, S> and is 'static (required for dyn Trait).

Returns

A new PreprocessorChain with the added preprocessor.

Trait Implementations

impl<L: Clone + Literal, S: Clone + LiteralStorage<L>> Clone for PreprocessorChain<L, S>

fn clone(&self) -> PreprocessorChain<L, S>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<L: Literal, S: LiteralStorage<L>> Debug for PreprocessorChain<L, S>

Custom Debug implementation for PreprocessorChain.

As dyn Preprocessor is not Debug, we provide a simple placeholder debug output.

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

Formats the value using the given formatter.

impl<L: Default + Literal, S: Default + LiteralStorage<L>> Default for PreprocessorChain<L, S>

fn default() -> PreprocessorChain<L, S>

Returns the “default value” for a type.

impl<L: Literal, S: LiteralStorage<L>> Preprocessor<L, S> for PreprocessorChain<L, S>

fn preprocess(&self, cnf: &[Clause<L, S>]) -> Vec<Clause<L, S>>

Applies each preprocessor in the chain sequentially.

The output of one preprocessor becomes the input to the next. The initial input cnf is cloned to start the process.

Arguments

• cnf: A slice of Clause<L, S> representing the input formula.

Returns

A Vec<Clause<L, S>> representing the formula after all preprocessors in the chain have been applied.