Struct ai_kit::infer::Negatable

pub struct Negatable<B: BindingsValue, U: Unify<B>> { /* fields omitted */ }

Trait Implementations

impl<B: Clone + BindingsValue, U: Clone + Unify<B>> Clone for Negatable<B, U>

fn clone(&self) -> Negatable<B, U>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<B: Debug + BindingsValue, U: Debug + Unify<B>> Debug for Negatable<B, U>

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<B: PartialEq + BindingsValue, U: PartialEq + Unify<B>> PartialEq for Negatable<B, U>

fn eq(&self, __arg_0: &Negatable<B, U>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &Negatable<B, U>) -> bool

This method tests for !=.

impl<B: PartialOrd + BindingsValue, U: PartialOrd + Unify<B>> PartialOrd for Negatable<B, U>

fn partial_cmp(&self, __arg_0: &Negatable<B, U>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, __arg_0: &Negatable<B, U>) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, __arg_0: &Negatable<B, U>) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, __arg_0: &Negatable<B, U>) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, __arg_0: &Negatable<B, U>) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl<B, U> Eq for Negatable<B, U> where
    B: BindingsValue,
    U: Unify<B>, 

impl<B, U> Display for Negatable<B, U> where
    B: BindingsValue,
    U: Unify<B>, 

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

Formats the value using the given formatter.

impl<B, U> Unify<B> for Negatable<B, U> where
    B: BindingsValue,
    U: Unify<B>, 

fn unify(&self, other: &Self, bindings: &Bindings<B>) -> Option<Bindings<B>>

Check if this structure can be unified with another of the same type.

fn apply_bindings(&self, bindings: &Bindings<B>) -> Option<Self>

Given some bindings, construct a new instance with any variables replaced by their values

fn variables(&self) -> Vec<String>

Return all variables in this tructure

fn rename_variables(&self, renamed_variables: &HashMap<String, String>) -> Self

Rename any variables in this structure with another variable name

fn nil() -> Self

Return a 'nil' sentinel value unique to this type of structure