[][src]Struct phreak_engine::condition::ConditionBody

pub struct ConditionBody {
    pub class: String,
    pub f1: ConditionField,
    pub f2: ConditionField,
    pub f3: ConditionField,
}

The ConditionBody defines what fields in a fact are relevant to the matching, and in which way.

When a fact enters the network, we will consider each field of the fact. The fields that need to match a Const expression are evaluated first. Then the fields that need to match other fields, in the same or in an other fact, are compared against those fields.

This struct defines how a single fact is of interest to the network.

Fields

class: Stringf1: ConditionFieldf2: ConditionFieldf3: ConditionField

Trait Implementations

impl Clone for ConditionBody[src]

impl Debug for ConditionBody[src]

impl Eq for ConditionBody[src]

impl PartialEq<ConditionBody> for ConditionBody[src]

impl StructuralEq for ConditionBody[src]

impl StructuralPartialEq for ConditionBody[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>,