Struct Var 

pub struct Var { /* private fields */ }

Named logic variable.

The variable name is purely descriptive to help understanding. Any newly created variables is different from all previously created variables, even if they have the same name. However, variables can be copied, which preserves identity.

Implementations

impl Var

pub fn new(name: &'static str) -> Self

Create a new unique logic variable.

pub fn name(&self) -> &str

Return the variable’s name.

Trait Implementations

impl Clone for Var

fn clone(&self) -> Var

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Var

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

Formats the value using the given formatter.

impl From<&'static str> for Var

fn from(name: &'static str) -> Self

Converts to this type from the input type.

impl Hash for Var

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq<Var> for Value

fn eq(&self, v: &Var) -> 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 PartialEq for Var

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

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>, _: &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.

impl Copy for Var

impl Eq for Var

impl StructuralPartialEq for Var