Struct TupleUtils

pub struct TupleUtils;

Utilities for working with tuples

Implementations

impl TupleUtils

pub fn get_arity(tuple: &AnyTuple) -> usize

Gets the arity of a tuple

pub fn get_facts(tuple: &AnyTuple) -> Vec<Rc<dyn GreynetFact>>

Extracts all facts from a tuple

pub fn create_tuple_from_facts( facts: Vec<Rc<dyn GreynetFact>>, ) -> Result<AnyTuple, String>

Creates a tuple from a list of facts

pub fn combine_tuples( left: &AnyTuple, right: &AnyTuple, ) -> Result<AnyTuple, String>

Combines two tuples into a larger tuple

pub fn same_arity(tuple1: &AnyTuple, tuple2: &AnyTuple) -> bool

Checks if two tuples have the same arity

pub fn get_tuple_arity(tuple: &AnyTuple) -> TupleArity

Gets the tuple arity as an enum