Struct NaryEnumerationConfig 

pub struct NaryEnumerationConfig {
    pub max_body_atoms: u8,
    pub max_join_vars: u8,
    pub max_patterns: u32,
    pub max_traversal_nodes: u64,
}

Enumeration bounds for one n-ary induction request.

Fields

max_body_atoms: u8

Maximum number of body atoms per pattern (the binary engine uses 2).

max_join_vars: u8

Maximum distinct existential join variables per pattern (binary: 1).

max_patterns: u32

Hard ceiling on the enumerated pattern count. Exceeding it is a typed refusal, never a silent cap.

This bounds the OUTPUT. It does not bound the work: the search can walk an exponential number of dead-end nodes without ever producing a keepable pattern, so max_traversal_nodes bounds that separately.

max_traversal_nodes: u64

Hard ceiling on SEARCH NODES visited during enumeration.

Without it an in-contract request (small max_patterns, wide candidate set) walks billions of nodes and returns an empty result, because the pattern cap can only fire when a pattern is KEPT. Exceeding this is the same kind of typed refusal.

Trait Implementations

impl Clone for NaryEnumerationConfig

fn clone(&self) -> NaryEnumerationConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for NaryEnumerationConfig

impl Debug for NaryEnumerationConfig

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

Formats the value using the given formatter.