greynet 0.11.0

High performance rule and constraint satisfaction engine
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70

// utils.rs - Tuple manipulation utilities
use crate::{
    AnyTuple, BiTuple, GreynetFact, PentaTuple, QuadTuple, TriTuple, TupleArity, UniTuple,
};
use std::rc::Rc;

/// Utilities for working with tuples
pub struct TupleUtils;

impl TupleUtils {
    /// Gets the arity of a tuple
    pub fn get_arity(tuple: &AnyTuple) -> usize {
        tuple.arity()
    }

    /// Extracts all facts from a tuple
    pub fn get_facts(tuple: &AnyTuple) -> Vec<Rc<dyn GreynetFact>> {
        tuple.facts()
    }

    /// Creates a tuple from a list of facts
    pub fn create_tuple_from_facts(facts: Vec<Rc<dyn GreynetFact>>) -> Result<AnyTuple, String> {
        match facts.len() {
            1 => Ok(AnyTuple::Uni(UniTuple::new(facts[0].clone()))),
            2 => Ok(AnyTuple::Bi(BiTuple::new(
                facts[0].clone(),
                facts[1].clone(),
            ))),
            3 => Ok(AnyTuple::Tri(TriTuple::new(
                facts[0].clone(),
                facts[1].clone(),
                facts[2].clone(),
            ))),
            4 => Ok(AnyTuple::Quad(QuadTuple::new(
                facts[0].clone(),
                facts[1].clone(),
                facts[2].clone(),
                facts[3].clone(),
            ))),
            5 => Ok(AnyTuple::Penta(PentaTuple::new(
                facts[0].clone(),
                facts[1].clone(),
                facts[2].clone(),
                facts[3].clone(),
                facts[4].clone(),
            ))),
            n => Err(format!(
                "Cannot create tuple with arity {}. Supported arities are 1-5.",
                n
            )),
        }
    }

    /// Combines two tuples into a larger tuple
    pub fn combine_tuples(left: &AnyTuple, right: &AnyTuple) -> Result<AnyTuple, String> {
        let mut combined_facts = left.facts();
        combined_facts.extend(right.facts());
        Self::create_tuple_from_facts(combined_facts)
    }

    /// Checks if two tuples have the same arity
    pub fn same_arity(tuple1: &AnyTuple, tuple2: &AnyTuple) -> bool {
        tuple1.arity() == tuple2.arity()
    }

    /// Gets the tuple arity as an enum
    pub fn get_tuple_arity(tuple: &AnyTuple) -> TupleArity {
        tuple.tuple_arity()
    }
}