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

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Solution