Struct TacticOptions 

pub struct TacticOptions {
    pub rewrite_rules: Vec<Node>,
    pub simplify_max_steps: usize,
    pub atp: AtpOptions,
    pub smt_solver: Option<String>,
    pub smt_solver_args: Vec<String>,
    pub smt_timeout_ms: u64,
}

Options supplied to tactic execution.

Fields

rewrite_rules: Vec<Node>

simplify_max_steps: usize

atp: AtpOptions

smt_solver: Option<String>

smt_solver_args: Vec<String>

smt_timeout_ms: u64

Trait Implementations

impl Clone for TacticOptions

fn clone(&self) -> TacticOptions

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TacticOptions

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

Formats the value using the given formatter.

impl Default for TacticOptions

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for TacticOptions

fn eq(&self, other: &TacticOptions) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for TacticOptions