Struct EngineOptions 

pub struct EngineOptions {
    pub solve: SolveOptions,
    pub history_entries: usize,
    pub history_bytes: usize,
    pub limits: Limits,
}

Engine configuration.

Fields

solve: SolveOptions

Solver options for commits.

history_entries: usize

History entry limit.

history_bytes: usize

History byte budget.

limits: Limits

Document limits.

Trait Implementations

impl Clone for EngineOptions

fn clone(&self) -> EngineOptions

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for EngineOptions

impl Debug for EngineOptions

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

Formats the value using the given formatter.

impl Default for EngineOptions

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for EngineOptions

fn eq(&self, other: &EngineOptions) -> 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 EngineOptions