Struct CompilationConfig 

pub struct CompilationConfig {
    pub and_strategy: AndStrategy,
    pub or_strategy: OrStrategy,
    pub not_strategy: NotStrategy,
    pub exists_strategy: ExistsStrategy,
    pub forall_strategy: ForallStrategy,
    pub implication_strategy: ImplicationStrategy,
    pub modal_strategy: ModalStrategy,
    pub temporal_strategy: TemporalStrategy,
    pub modal_world_size: Option<usize>,
    pub temporal_time_steps: Option<usize>,
}

Complete compilation configuration.

Fields

and_strategy: AndStrategy

Strategy for AND operations

or_strategy: OrStrategy

Strategy for OR operations

not_strategy: NotStrategy

Strategy for NOT operations

exists_strategy: ExistsStrategy

Strategy for existential quantifiers

forall_strategy: ForallStrategy

Strategy for universal quantifiers

implication_strategy: ImplicationStrategy

Strategy for implication

modal_strategy: ModalStrategy

Strategy for modal logic operators

temporal_strategy: TemporalStrategy

Strategy for temporal logic operators

modal_world_size: Option<usize>

Number of possible worlds for modal logic (default: 10)

temporal_time_steps: Option<usize>

Number of time steps for temporal logic (default: 100)

Implementations

impl CompilationConfig

pub fn soft_differentiable() -> Self

Soft, differentiable configuration (default).

Optimized for neural network training and gradient-based optimization. All operations are differentiable with smooth gradients.

pub fn hard_boolean() -> Self

Hard, Boolean-like configuration.

Optimized for discrete reasoning with Boolean-like values. Uses min/max operations for crisp logic semantics.

pub fn fuzzy_godel() -> Self

Fuzzy logic configuration (Gödel semantics).

Standard fuzzy logic with Gödel t-norms and s-norms.

pub fn fuzzy_product() -> Self

Fuzzy logic configuration (Product semantics).

Fuzzy logic with product t-norms.

pub fn fuzzy_lukasiewicz() -> Self

Fuzzy logic configuration (Łukasiewicz semantics).

Fuzzy logic with Łukasiewicz t-norms, fully differentiable.

pub fn probabilistic() -> Self

Probabilistic logic configuration.

Interprets logical operations as probabilistic events.

pub fn custom() -> CompilationConfigBuilder

Create a custom configuration.

Trait Implementations

impl Clone for CompilationConfig

fn clone(&self) -> CompilationConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CompilationConfig

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

Formats the value using the given formatter.

impl Default for CompilationConfig

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for CompilationConfig

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

impl StructuralPartialEq for CompilationConfig