Struct CompilationConfigBuilder 

pub struct CompilationConfigBuilder { /* private fields */ }

Builder for custom compilation configurations.

Implementations

impl CompilationConfigBuilder

pub fn and_strategy(self, strategy: AndStrategy) -> Self

Set AND strategy.

pub fn or_strategy(self, strategy: OrStrategy) -> Self

Set OR strategy.

pub fn not_strategy(self, strategy: NotStrategy) -> Self

Set NOT strategy.

pub fn exists_strategy(self, strategy: ExistsStrategy) -> Self

Set EXISTS strategy.

pub fn forall_strategy(self, strategy: ForallStrategy) -> Self

Set FORALL strategy.

pub fn implication_strategy(self, strategy: ImplicationStrategy) -> Self

Set implication strategy.

pub fn modal_strategy(self, strategy: ModalStrategy) -> Self

Set modal logic strategy.

pub fn temporal_strategy(self, strategy: TemporalStrategy) -> Self

Set temporal logic strategy.

pub fn modal_world_size(self, size: usize) -> Self

Set number of possible worlds for modal logic.

pub fn temporal_time_steps(self, steps: usize) -> Self

Set number of time steps for temporal logic.

pub fn build(self) -> CompilationConfig

Build the configuration.

Uses default soft_differentiable() values for any unset strategies.

Trait Implementations

impl Clone for CompilationConfigBuilder

fn clone(&self) -> CompilationConfigBuilder

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CompilationConfigBuilder

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

Formats the value using the given formatter.

impl Default for CompilationConfigBuilder

fn default() -> CompilationConfigBuilder

Returns the “default value” for a type.