Struct PredicateArena 

pub struct PredicateArena { /* private fields */ }

Compact predicate storage with index-based edges.

Implementations

impl PredicateArena

pub fn empty() -> PredicateArena

pub fn from_condition(condition: Condition) -> PredicateArena

pub fn nodes(&self) -> &[PredicateNode]

pub const fn root(&self) -> Option<NodeId>

pub fn node(&self, id: NodeId) -> Option<&PredicateNode>

pub fn all(arenas: impl IntoIterator<Item = PredicateArena>) -> PredicateArena

Combines independent predicates with AND.

pub fn any(arenas: impl IntoIterator<Item = PredicateArena>) -> PredicateArena

Combines independent predicates with OR.

pub fn partition(&self) -> Result<(PredicateArena, PredicateArena), ParamError>

Splits an AND-separable tree into WHERE and HAVING trees.

pub fn without_field(&self, field: FieldId) -> PredicateArena

Returns a predicate with conditions on field removed.

This is used by facet self-exclusion. The remaining boolean tree keeps its original shape; a branch that contains only the excluded field is treated as an empty branch so the facet can evaluate the rest of the query without accidentally broadening the server-owned predicates.

Trait Implementations

impl Clone for PredicateArena

fn clone(&self) -> PredicateArena

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PredicateArena

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

Formats the value using the given formatter.

impl Default for PredicateArena

fn default() -> PredicateArena

Returns the “default value” for a type.

impl PartialEq for PredicateArena

fn eq(&self, other: &PredicateArena) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for PredicateArena