[−][src]Enum phreak_engine::condition::ConditionField
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.
This field is irrelevant for the matching rules.
Trait Implementations
impl Clone for ConditionField
[src]
fn clone(&self) -> ConditionField
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl Debug for ConditionField
[src]
impl Eq for ConditionField
[src]
impl<'_> From<&'_ ConditionField> for Memory
[src]
fn from(field: &ConditionField) -> Self
[src]
impl PartialEq<ConditionField> for ConditionField
[src]
fn eq(&self, other: &ConditionField) -> bool
[src]
fn ne(&self, other: &ConditionField) -> bool
[src]
impl StructuralEq for ConditionField
[src]
impl StructuralPartialEq for ConditionField
[src]
Auto Trait Implementations
impl RefUnwindSafe for ConditionField
impl Send for ConditionField
impl Sync for ConditionField
impl Unpin for ConditionField
impl UnwindSafe for ConditionField
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
V: MultiLane<T>,