Enum phreak_engine::condition::Condition

pub enum Condition {
    Positive(ConditionBody),
    Negative(ConditionBody),
    Ncc(NccCondition),
}

A Condition defines a single rule in a chain of rules that need to be fullfilled to find a match.

A Condition can be:

• Some fact must occur
• Some fact must not occur
• A certain combination of Conditions must not occur

The Ncc condition is a negated recursive rule. It defines a combination of facts that are considered a match, and then negates the result.

Variants

Positive(ConditionBody)

A certain fact must occur, which can be compared against consts and previous matches.

Negative(ConditionBody)

A certain fact must not occur, which can be compared against consts and previous matches.

Ncc(NccCondition)

A certain combination of facts must not occur.

Trait Implementations

impl Clone for Condition

fn clone(&self) -> Condition

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Condition

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

Formats the value using the given formatter.

impl Eq for Condition

impl PartialEq<Condition> for Condition

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

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

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

This method tests for !=.

impl StructuralEq for Condition

impl StructuralPartialEq for Condition