Struct MatchedVariables

pub struct MatchedVariables {
    pub variables: HashMap<u32, Option<Term>>,
}

Fields

variables: HashMap<u32, Option<Term>>

Implementations

impl MatchedVariables

pub fn new(import: HashSet<u32>) -> Self

pub fn insert(&mut self, key: u32, value: &Term) -> bool

pub fn is_complete(&self) -> bool

pub fn complete(&self) -> Option<HashMap<u32, Term>>

Trait Implementations

impl Clone for MatchedVariables

fn clone(&self) -> MatchedVariables

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for MatchedVariables

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

Formats the value using the given formatter.

impl PartialEq for MatchedVariables

fn eq(&self, other: &MatchedVariables) -> 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 Eq for MatchedVariables

impl StructuralPartialEq for MatchedVariables