Enum ai_kit::datum::Datum

pub enum Datum {
    Nil,
    String(String),
    Int(i64),
    Float(f64),
    Variable(String),
    Vector(Vec<Datum>),
}

Variants

NilString(String)Int(i64)Float(f64)Variable(String)Vector(Vec<Datum>)

Methods

impl Datum

fn to_string(&self) -> Option<String>

fn to_int(&self) -> Option<i64>

fn to_float(&self) -> Option<f64>

fn to_variable(&self) -> Option<String>

fn pprint(&self) -> String

Trait Implementations

impl Clone for Datum

fn clone(&self) -> Datum

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Datum

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

Formats the value using the given formatter.

impl PartialOrd for Datum

fn partial_cmp(&self, __arg_0: &Datum) -> Option<Ordering>

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

fn lt(&self, __arg_0: &Datum) -> bool

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

fn le(&self, __arg_0: &Datum) -> bool

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

fn gt(&self, __arg_0: &Datum) -> bool

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

fn ge(&self, __arg_0: &Datum) -> bool

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

impl Default for Datum

fn default() -> Self

Returns the "default value" for a type.

impl PartialEq for Datum

fn eq(&self, other: &Datum) -> bool

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

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl Eq for Datum

impl Ord for Datum

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

impl BindingsValue for Datum

fn variable(s: &String) -> Option<Self>

Construct a BindingsValue variable using the specified string as it's name

fn to_variable(&self) -> Option<String>

Extract the name of this BindingsValue variable (if it is a variable)

impl ConstraintValue for Datum

fn to_float(&self) -> Option<f64>

Attempt to convert this value to a float

fn float(c: f64) -> Self

Construct a ConstraintValue from a float

impl Unify<Datum> for Datum

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

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

fn apply_bindings(&self, bindings: &Bindings<Self>) -> 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

impl Display for Datum

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

Formats the value using the given formatter.