Enum ai_kit::constraints::NumericalConstraint [] [src]

pub enum NumericalConstraint {
    Set {
        variable: String,
        constant: f64,
    },
    Sum {
        first: String,
        second: String,
        third: String,
    },
    Mul {
        first: String,
        second: String,
        third: String,
    },
    GreaterThan {
        left: String,
        right: String,
    },
    NotEqual {
        left: String,
        right: String,
    },
}

Variants

?x = CONSTANT

Fields of Set

?x + ?y = ?z

Fields of Sum

?x * ?y = ?z

Fields of Mul

?x > ?y

Fields of GreaterThan

?x != ?y

Fields of NotEqual

Methods

impl NumericalConstraint
[src]

Try to solve this constraint using the information in the bindings

Trait Implementations

impl Clone for NumericalConstraint
[src]

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

impl Debug for NumericalConstraint
[src]

Formats the value using the given formatter.

impl PartialEq for NumericalConstraint
[src]

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

This method tests for !=.

impl Eq for NumericalConstraint
[src]

impl PartialOrd for NumericalConstraint
[src]

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

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

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

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

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

impl Display for NumericalConstraint
[src]

Formats the value using the given formatter. Read more