List of all items

Structs

• InduceExactRequest
• nary::BodyAtomPattern
• nary::NaryEnumerationConfig
• nary::NaryRulePattern
• nary_engine::InduceExactNaryRequest
• nary_engine::NaryInductionConfig
• nary_engine::NaryInductionResult
• nary_engine::ScoredNaryCandidate
• nary_layout::FlatRelation
• nary_layout::NaryPatternBatchLayout
• nary_reference::HostRelation
• nary_reference::ReferenceCoverage
• reduce::KeptNaryPattern
• reduce::ScoredPair
• types::ExactInductionConfig
• types::ExactInductionResult
• types::InducedRuleProvenance
• types::InducedRuleRegistry
• types::InductionAlternative
• types::InductionSupportRow
• types::ScoredCandidate

Enums

• nary::PatternVar
• nary_layout::NaryLayoutError
• types::RuleSourceKind
• types::Topology

Functions

• induce_exact
• nary::canonical_binary_pattern
• nary::enumerate_patterns
• nary_engine::induce_exact_nary
• nary_layout::binding_code
• nary_layout::decode_binding
• nary_layout::flatten_patterns
• nary_layout::score_pattern_flat
• nary_layout::score_pattern_flat_coverage
• nary_reference::score_pattern_reference
• reduce::reduce_nary
• reduce::reduce_per_topology

Type Aliases

• provenance::InductionProvenanceRegistry

Constants

• nary_layout::NARY_MAX_ATOM_ARITY
• nary_layout::NARY_MAX_BODY_ATOMS
• nary_layout::NARY_MAX_HEAD_ARITY
• nary_layout::NARY_MAX_JOIN_VARS