Struct TACOConfig 

pub struct TACOConfig {
    smt: Option<SMTSolverBuilderCfg>,
    bdd: Option<BDDManagerConfig>,
    preprocessors: Option<Vec<ExistingPreprocessors>>,
}

Type representing configuration options for the TACO model checker

This struct contains options for the SMT solver and the BDD manager that can be set using config files or environment variables. This type implements serde::Deserialize to easily parse the configuration out of structured configuration.

Fields

smt: Option<SMTSolverBuilderCfg>

Options for the SMT solver

bdd: Option<BDDManagerConfig>

Options for the BDD manager

preprocessors: Option<Vec<ExistingPreprocessors>>

Options for configuring which preprocessors to use

Implementations

impl TACOConfig

pub fn set_smt_solver_builder_cfg(&mut self, cfg: SMTSolverBuilderCfg)

Set the configuration for the SMT solver builder to the given value

pub fn set_bdd_config(&mut self, cfg: BDDManagerConfig)

Set the configuration for the BDD manager to the given value

pub fn get_bdd_smt_config( &self, ) -> (Option<SMTSolverBuilderCfg>, Option<BDDManagerConfig>)

Get BDD manager and SMT solver builder configuration

pub fn get_smt_solver_builder_cfg(&self) -> Option<SMTSolverBuilderCfg>

Get the SMT solver builder configuration

pub fn get_preprocessors_cfg(&self) -> &Option<Vec<ExistingPreprocessors>>

Trait Implementations

impl Clone for TACOConfig

fn clone(&self) -> TACOConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TACOConfig

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

Formats the value using the given formatter.

impl Default for TACOConfig

fn default() -> TACOConfig

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for TACOConfig

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.