Enum AnyTuple

pub enum AnyTuple {
    Uni(UniTuple),
    Bi(BiTuple),
    Tri(TriTuple),
    Quad(QuadTuple),
    Penta(PentaTuple),
}

Variants

Uni(UniTuple)

Bi(BiTuple)

Tri(TriTuple)

Quad(QuadTuple)

Penta(PentaTuple)

Implementations

impl AnyTuple

pub fn combine(&self, other: &AnyTuple) -> Result<AnyTuple>

OPTIMIZATION: Combine tuples without creating an intermediate Vec. This is more verbose but avoids a heap allocation on every join.

pub fn facts_vec(&self) -> SmallVec<[Rc<dyn GreynetFact>; 5]>

High-performance version that returns a stack-allocated SmallVec.

pub fn facts(&self) -> Vec<Rc<dyn GreynetFact>>

Compatibility version - use facts_iter() or facts_vec() for better performance.

pub fn arity(&self) -> usize

pub fn node(&self) -> Option<NodeId>

pub fn set_node(&mut self, node_id: NodeId)

pub fn state(&self) -> TupleState

pub fn set_state(&mut self, state: TupleState)

pub fn reset(&mut self)

pub fn tuple_arity(&self) -> TupleArity

Trait Implementations

impl Clone for AnyTuple

fn clone(&self) -> AnyTuple

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AnyTuple

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

Formats the value using the given formatter.

impl FactIterator for AnyTuple

type Iter<'a> = Box<dyn Iterator<Item = &'a (dyn GreynetFact + 'static)> + 'a>

fn facts_iter(&self) -> Self::Iter<'_>

impl ZeroCopyFacts for AnyTuple

fn get_fact_ref(&self, index: usize) -> Option<&dyn GreynetFact>

Get a direct reference to a fact by index without any allocations

fn arity(&self) -> usize

Required for bounds checking

fn as_any(&self) -> &dyn Any

fn first_fact(&self) -> Option<&dyn GreynetFact>

Get the first fact (optimized common case)

fn last_fact(&self) -> Option<&dyn GreynetFact>

Get the last fact (optimized common case)

fn has_fact_at(&self, index: usize) -> bool

Check if index is valid for this tuple