Struct MachineBuilder 

pub struct MachineBuilder<D: Discretization> { /* private fields */ }

Builder for constructing a Machine with custom parameters.

Example

let machine = MachineBuilder::new(my_discretization)
    .min_precision(53)
    .max_precision(10_000)
    .build(exprs, vars);

Implementations

impl<D: Discretization> MachineBuilder<D>

pub fn new(disc: D) -> Self

Create a builder with default precision parameters.

Defaults:

• min_precision: 20 bits
• max_precision: 10,000 bits
• slack_unit: 512
• profiling: enabled, buffer capacity 1000

pub fn min_precision(self, v: u32) -> Self

Set the minimum working precision in bits.

pub fn max_precision(self, v: u32) -> Self

Set the maximum working precision in bits.

pub fn slack_unit(self, v: i64) -> Self

Set the slack unit used when computing slack bits.

pub fn base_tuning_precision(self, v: u32) -> Self

Set the base tuning precision added to discretization targets.

pub fn ampl_tuning_bits(self, v: u32) -> Self

Set the amplification tuning bits added during propagation.

pub fn enable_profiling(self, enabled: bool) -> Self

Enable or disable per-instruction profiling (enabled by default).

pub fn profile_capacity(self, cap: usize) -> Self

Set profiling buffer capacity (default 1000 records).

pub fn build(self, exprs: Vec<Expr>, vars: Vec<String>) -> Machine<D>

Compile expressions into a machine.

exprs is a list of real-number expressions, using Expr. vars is a list of the free variables of these expressions. An empty vars list can be provided if the expressions have no free variables.

Returns a Machine, an opaque type that can be passed to Machine::apply to evaluate the compiled real expressions on a specific point.