Struct TermAlgebra 

pub struct TermAlgebra {
    pub signature: Signature,
    pub num_vars: usize,
}

The term algebra for a signature and variable set.

Stores the signature and supports term construction/evaluation.

Fields

signature: Signature

num_vars: usize

Implementations

impl TermAlgebra

pub fn new(sig: Signature, num_vars: usize) -> Self

Create a term algebra with the given signature and number of variables.

pub fn is_well_formed(&self, term: &Term) -> bool

Validate that a term is well-formed with respect to the signature.

pub fn free_term(&self, op_name: &str) -> Option<Term>

Build the term op(x_0, x_1, ..., x_{arity-1}) for a given op name.