Trait Preprocessing

pub trait Preprocessing {
    type Ref: Reference;
    type Params: Parameters;
    type Error;

    // Required methods
    fn load(path: &Path) -> Result<Self, Self::Error>
       where Self: Sized;
    fn save(preprocessing: &Self, path: &Path) -> Result<(), Self::Error>;
}

A program-specific preprocessing parameter set.

Currently only used by the legacy prover integrations.

Required Associated Types

type Ref: Reference

type Params: Parameters

type Error

Required Methods

fn load(path: &Path) -> Result<Self, Self::Error>

where Self: Sized,

Load preprocessing from a file.

fn save(preprocessing: &Self, path: &Path) -> Result<(), Self::Error>

Save preprocessing to a file.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl Preprocessing for ()

type Ref = ()

type Params = ()

type Error = ConfigurationError

fn load(_path: &Path) -> Result<Self, Self::Error>

fn save(_preprocessing: &Self, _path: &Path) -> Result<(), Self::Error>

Implementors