Struct Bindings 

pub struct Bindings { /* private fields */ }

Wildcard bindings produced by a successful match: wildcard name → matched sub-expression.

Names are the symbol names used in the rule’s left-hand side (including the trailing underscore), e.g. "a_" or "rest__".

Examples

use symplex::prelude::*;
use symplex::macros::Rule;

let ctx = Context::new();
let (x, y, a, b) = (ctx.symbol("x"), ctx.symbol("y"), ctx.symbol("a_"), ctx.symbol("b_"));
let rule = Rule::new("swap", &a.pow(&b), &b.pow(&a));
let bindings = rule.matches(&x.pow(&y)).unwrap();
assert_eq!(bindings.get("a_"), Some(&x));
assert_eq!(bindings.get("b_"), Some(&y));
assert_eq!(bindings.len(), 2);

Implementations

impl Bindings

pub fn get(&self, name: &str) -> Option<&Ex>

Look up the sub-expression bound to wildcard name.

pub fn len(&self) -> usize

Number of bound wildcards.

pub fn is_empty(&self) -> bool

true if no wildcard is bound.

pub fn iter(&self) -> impl Iterator<Item = (&str, &Ex)>

Iterate over (name, value) pairs (unspecified order).

Trait Implementations

impl Clone for Bindings

fn clone(&self) -> Bindings

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Bindings

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

Formats the value using the given formatter.

impl Default for Bindings

fn default() -> Bindings

Returns the “default value” for a type.