[][src]Enum phreak_engine::condition::ConditionField

pub enum ConditionField {
    Const(String),
    Variable(String),
    Any,
}

A ConditionField describes when a Fact element matches

The simplest match is a constant match. Constants are checked in the alphamemories, and must match exactly against the field. They are used as the most basic rules, and will be checked before any further processing occurs.

Variable fields are more complex. They are used to compare between different facts. A Variable on a single fact does nothing. Only when it is compared against another variable does it affect the matching. Variables are used to construct the more complex rules.

Variants

Const(String)

A Const must match exactly.

Variable(String)

A Variable is named, and matches anything. It will be compared against an other Variable.

Any

This field is irrelevant for the matching rules.

Trait Implementations

impl Clone for ConditionField[src]

impl Debug for ConditionField[src]

impl Eq for ConditionField[src]

impl<'_> From<&'_ ConditionField> for Memory[src]

impl PartialEq<ConditionField> for ConditionField[src]

impl StructuralEq for ConditionField[src]

impl StructuralPartialEq for ConditionField[src]

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>,