Enum ExecutionMode 

pub enum ExecutionMode {
    DatalogBatch,
    DatalogInc,
    ExtendBatch,
    ExtendInc,
}

Execution strategy for FlowLog workflows

Variants

DatalogBatch

Datalog single-pass batch execution. Only tracks whether facts are present or absent, making it suitable for high-performance static execution.

DatalogInc

Datalog incremental execution. Maintains state across updates, tracking how many times each fact is derived, supporting incremental view maintenance.

ExtendBatch

Extended batch execution with explicit loop blocks. Recursion is only allowed inside loop blocks; any recursive dependency in plain rules is a hard error.

ExtendInc

Extended incremental execution with explicit loop blocks. Combines incremental view maintenance with explicit loop control.

Trait Implementations

impl Clone for ExecutionMode

fn clone(&self) -> ExecutionMode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExecutionMode

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

Formats the value using the given formatter.

impl Default for ExecutionMode

fn default() -> ExecutionMode

Returns the “default value” for a type.

impl PartialEq for ExecutionMode

fn eq(&self, other: &ExecutionMode) -> 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 ValueEnum for ExecutionMode

fn value_variants<'a>() -> &'a [Self]

All possible argument values, in display order.

fn to_possible_value<'a>(&self) -> Option<PossibleValue>

The canonical argument value.

fn from_str(input: &str, ignore_case: bool) -> Result<Self, String>

Parse an argument into Self.

impl Copy for ExecutionMode

impl Eq for ExecutionMode

impl StructuralPartialEq for ExecutionMode