Struct typedb_driver::logic::Rule

pub struct Rule {
    pub label: String,
    pub when: Conjunction,
    pub then: ThingStatement,
}

Rules are a part of schema and define embedded logic. The reasoning engine uses rules as a set of logic to infer new data. A rule consists of a condition and a conclusion, and is uniquely identified by a label.

Fields

label: String

The unique label of the rule.

when: Conjunction

The statements that constitute the ‘when’ of the rule.

then: ThingStatement

The single statement that constitutes the ‘then’ of the rule.

Trait Implementations

impl Clone for Rule

fn clone(&self) -> Rule

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Rule

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

Formats the value using the given formatter.

impl PartialEq for Rule

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

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl RuleAPI for Rule

fn label(&self) -> &String

Retrieves the unique label of the rule.

fn delete<'tx>( &mut self, transaction: &'tx Transaction<'tx> ) -> BoxPromise<'tx, Result>

Deletes this rule.

fn set_label<'tx>( &mut self, transaction: &'tx Transaction<'tx>, new_label: String ) -> BoxPromise<'tx, Result>

Renames the label of the rule. The new label must remain unique.

fn is_deleted<'tx>( &self, transaction: &'tx Transaction<'tx> ) -> BoxPromise<'tx, Result<bool>>

Check if this rule has been deleted.

impl StructuralPartialEq for Rule