Trait Structure 

pub trait Structure: Any + Debug {
    // Required methods
    fn occurs<'s>(&self, x: &Var, s: &Substitution<'s>) -> bool;
    fn unify<'s>(
        &self,
        v: &Value,
        s: Substitution<'s>,
    ) -> Option<Substitution<'s>>;
    fn walk_star(self: Arc<Self>, s: &Substitution<'_>) -> Value;
    fn reify_s<'s>(&self, s: Substitution<'s>) -> Substitution<'s>;
    fn as_any(&self) -> &dyn Any;
    fn eqv(&self, other: &Value) -> bool;
}

Trait implemented by all logic-compatible types

Required Methods

fn occurs<'s>(&self, x: &Var, s: &Substitution<'s>) -> bool

Returns true if self contains a variable that is equivalent to x when considering substitution s.

fn unify<'s>(&self, v: &Value, s: Substitution<'s>) -> Option<Substitution<'s>>

Attempt to unify self with Value v under substitution s.

fn walk_star(self: Arc<Self>, s: &Substitution<'_>) -> Value

Recursively replace any variables contained in self with their substituted values.

fn reify_s<'s>(&self, s: Substitution<'s>) -> Substitution<'s>

Substitute all variables that remain fresh in self with reified variables.

fn as_any(&self) -> &dyn Any

Cast to Any reference.

fn eqv(&self, other: &Value) -> bool

Return true if self is equivalent to other.

Implementations on Foreign Types

impl Structure for Option<Value>

fn occurs<'s>(&self, x: &Var, s: &Substitution<'s>) -> bool

fn unify<'s>(&self, v: &Value, s: Substitution<'s>) -> Option<Substitution<'s>>

fn walk_star(self: Arc<Self>, s: &Substitution<'_>) -> Value

fn reify_s<'s>(&self, s: Substitution<'s>) -> Substitution<'s>

fn as_any(&self) -> &dyn Any

fn eqv(&self, other: &Value) -> bool

impl<T: 'static + Debug + Eq + Hash> Structure for HashMap<T, Value>

fn occurs<'s>(&self, _x: &Var, _s: &Substitution<'s>) -> bool

fn unify<'s>(&self, v: &Value, s: Substitution<'s>) -> Option<Substitution<'s>>

fn walk_star(self: Arc<Self>, _s: &Substitution<'_>) -> Value

fn reify_s<'s>(&self, _s: Substitution<'s>) -> Substitution<'s>

fn as_any(&self) -> &dyn Any

fn eqv(&self, other: &Value) -> bool

Implementors

impl Structure for ReifiedVar

impl Structure for Var

impl Structure for Pair

impl<T: 'static + Atomic + PartialEq> Structure for T