Struct Params 

pub struct Params { /* private fields */ }

Parameter set used to configure many components (simplifiers, tactics, solvers, etc).

Implementations

impl Params

pub fn new() -> Params

pub fn set_symbol<K: Into<Symbol>, V: Into<Symbol>>(&mut self, k: K, v: V)

pub fn set_bool<K: Into<Symbol>>(&mut self, k: K, v: bool)

pub fn set_f64<K: Into<Symbol>>(&mut self, k: K, v: f64)

pub fn set_u32<K: Into<Symbol>>(&mut self, k: K, v: u32)

Trait Implementations

impl Debug for Params

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

Formats the value using the given formatter.

impl Default for Params

fn default() -> Self

Returns the “default value” for a type.

impl Display for Params

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

Formats the value using the given formatter.

impl Drop for Params

fn drop(&mut self)

Executes the destructor for this type.