tensorlogic-adapters 0.1.0

Symbol tables, axis metadata, and domain masks for TensorLogic
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

//! Predicate metadata.

use serde::{Deserialize, Serialize};
use tensorlogic_ir::Term;

use crate::constraint::PredicateConstraints;
use crate::error::AdapterError;
use crate::metadata::Metadata;

/// Predicate metadata including arity and domain types
#[derive(Clone, Debug, Serialize, Deserialize)]
pub struct PredicateInfo {
    pub name: String,
    pub arity: usize,
    pub arg_domains: Vec<String>,
    pub description: Option<String>,
    pub constraints: Option<PredicateConstraints>,
    /// Rich metadata including provenance, documentation, tags
    pub metadata: Option<Metadata>,
}

impl PredicateInfo {
    pub fn new(name: impl Into<String>, arg_domains: Vec<String>) -> Self {
        let arity = arg_domains.len();
        PredicateInfo {
            name: name.into(),
            arity,
            arg_domains,
            description: None,
            constraints: None,
            metadata: None,
        }
    }

    pub fn with_description(mut self, desc: impl Into<String>) -> Self {
        self.description = Some(desc.into());
        self
    }

    pub fn with_constraints(mut self, constraints: PredicateConstraints) -> Self {
        self.constraints = Some(constraints);
        self
    }

    pub fn with_metadata(mut self, metadata: Metadata) -> Self {
        self.metadata = Some(metadata);
        self
    }

    pub fn validate_args(&self, args: &[Term]) -> Result<(), AdapterError> {
        if args.len() != self.arity {
            return Err(AdapterError::ArityMismatch {
                name: self.name.clone(),
                expected: self.arity,
                found: args.len(),
            });
        }
        Ok(())
    }
}