Enum ReplayEvent 

pub enum ReplayEvent {
    Assert {
        term: String,
        rule_set: String,
    },
    Retract {
        term: String,
    },
    Query {
        goal: String,
        max_depth: usize,
    },
    QueryResult {
        goal: String,
        success: bool,
        bindings_count: usize,
    },
    RuleLoaded {
        rule_id: String,
        head: String,
    },
    SessionStart {
        session_id: String,
        timestamp_secs: u64,
    },
    SessionEnd {
        session_id: String,
        timestamp_secs: u64,
    },
}

A single recorded event within an inference session.

Variants

Assert

A term was asserted into the knowledge base.

Fields

term: String

rule_set: String

Retract

A term was retracted from the knowledge base.

Fields

term: String

Query

A query was submitted.

Fields

goal: String

max_depth: usize

QueryResult

The result of a query.

Fields

goal: String

success: bool

bindings_count: usize

RuleLoaded

A rule was loaded into the engine.

Fields

rule_id: String

head: String

SessionStart

The session was started.

Fields

session_id: String

timestamp_secs: u64

SessionEnd

The session ended.

Fields

session_id: String

timestamp_secs: u64

Trait Implementations

impl Clone for ReplayEvent

fn clone(&self) -> ReplayEvent

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReplayEvent

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

Formats the value using the given formatter.

impl PartialEq for ReplayEvent

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl StructuralPartialEq for ReplayEvent