Struct BindingSet 

pub struct BindingSet {
    pub variables: SmallVec<[Variable; 8]>,
    pub bindings: Vec<TermBinding>,
    pub constraints: Vec<Constraint>,
    /* private fields */
}

Optimized binding set for variable management

Fields

variables: SmallVec<[Variable; 8]>

Variables in this binding set (using SmallVec for cache efficiency)

bindings: Vec<TermBinding>

Current bindings

constraints: Vec<Constraint>

Constraints on variables

Implementations

impl BindingSet

pub fn new() -> Self

Create a new empty binding set

pub fn with_variables(vars: Vec<Variable>) -> Self

Create a binding set with initial variables

pub fn add_variable(&mut self, var: Variable) -> usize

Add a variable to the binding set

pub fn bind( &mut self, var: Variable, term: Term, metadata: BindingMetadata, ) -> Result<(), OxirsError>

Bind a variable to a term

pub fn get(&self, var: &Variable) -> Option<&Term>

Get binding for a variable

pub fn is_bound(&self, var: &Variable) -> bool

Check if a variable is bound

pub fn unbound_variables(&self) -> Vec<&Variable>

Get all unbound variables

pub fn add_constraint(&mut self, constraint: Constraint)

Add a constraint

pub fn to_map(&self) -> HashMap<Variable, Term>

Clone bindings into a HashMap for easier use

pub fn merge(&mut self, other: &BindingSet) -> Result<(), OxirsError>

Merge another binding set into this one

pub fn apply_to_pattern(&self, pattern: &TermPattern) -> TermPattern

Apply bindings to a term pattern

Trait Implementations

impl Clone for BindingSet

fn clone(&self) -> BindingSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BindingSet

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

Formats the value using the given formatter.

impl Default for BindingSet

fn default() -> Self

Returns the “default value” for a type.