Struct Solution 

pub struct Solution { /* private fields */ }

A solution mapping (binding of variables to values)

Implementations

impl Solution

pub fn new() -> Self

Creates a new empty solution

pub fn bind(&mut self, var: Variable, value: Term)

Binds a variable to a value

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

Gets the value bound to a variable

pub fn merge(&self, other: &Solution) -> Option<Solution>

Merges two solutions (for joins)

pub fn project(&self, vars: &[Variable]) -> Solution

Projects specific variables

pub fn iter(&self) -> Iter<'_, Variable, Term>

Returns an iterator over the variable-term bindings

pub fn variables(&self) -> impl Iterator<Item = &Variable>

Returns an iterator over the variables in this solution

pub fn canonical_key(&self) -> Vec<(String, String)>

Build a deterministic, order-independent key for this solution.

The bindings live in a HashMap whose iteration order is not stable between instances, so any key derived from raw iteration order (such as the Debug string) is unreliable for equality/deduplication. Sorting the (variable, term) pairs by their canonical string form yields a key that is identical for any two solutions with identical bindings.

Trait Implementations

impl Clone for Solution

fn clone(&self) -> Solution

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Solution

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

Formats the value using the given formatter.

impl Default for Solution

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for Solution

fn eq(&self, other: &Solution) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Solution