Struct LogicConfig 

pub struct LogicConfig {
    pub limits: LogicLimits,
    pub stream_buffer: usize,
    pub strategy: SearchStrategy,
    pub occurs_check: OccursCheck,
    pub enable_indexing: bool,
    pub enable_tabling: bool,
}

Aggregate tuning for the logic organ, threaded through every query.

Combines LogicLimits, the SearchStrategy, the OccursCheck policy, and the indexing/tabling switches.

Fields

limits: LogicLimits

Resource ceilings applied to each query.

stream_buffer: usize

Channel buffer size for streamed answers.

strategy: SearchStrategy

Goal-exploration order.

occurs_check: OccursCheck

Occurs-check policy used by the unifier.

enable_indexing: bool

Whether first-argument clause indexing is enabled.

enable_tabling: bool

Whether goal tabling (loop detection) is enabled.

Trait Implementations

impl Clone for LogicConfig

fn clone(&self) -> LogicConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LogicConfig

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

Formats the value using the given formatter.

impl Default for LogicConfig

fn default() -> Self

Returns the “default value” for a type.

impl Eq for LogicConfig

impl PartialEq for LogicConfig

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