Struct GRLQuery 

pub struct GRLQuery {
    pub name: String,
    pub goal: String,
    pub strategy: GRLSearchStrategy,
    pub max_depth: usize,
    pub max_solutions: usize,
    pub enable_memoization: bool,
    pub on_success: Option<QueryAction>,
    pub on_failure: Option<QueryAction>,
    pub on_missing: Option<QueryAction>,
    pub params: HashMap<String, String>,
    pub when_condition: Option<String>,
}

A GRL Query definition

Fields

name: String

Query name

goal: String

Goal pattern to prove (as string expression)

strategy: GRLSearchStrategy

Search strategy

max_depth: usize

Maximum search depth

max_solutions: usize

Maximum number of solutions

enable_memoization: bool

Enable memoization

on_success: Option<QueryAction>

Action on success

on_failure: Option<QueryAction>

Action on failure

on_missing: Option<QueryAction>

Action on missing facts

params: HashMap<String, String>

Parameters for parameterized queries

when_condition: Option<String>

Conditional execution (as string condition)

Implementations

impl GRLQuery

pub fn new(name: String, goal: String) -> Self

Create a new query with defaults

pub fn with_strategy(self, strategy: GRLSearchStrategy) -> Self

Set search strategy

pub fn with_max_depth(self, max_depth: usize) -> Self

Set max depth

pub fn with_max_solutions(self, max_solutions: usize) -> Self

Set max solutions

pub fn with_memoization(self, enable: bool) -> Self

Set memoization

pub fn with_on_success(self, action: QueryAction) -> Self

Add success action

pub fn with_on_failure(self, action: QueryAction) -> Self

Add failure action

pub fn with_on_missing(self, action: QueryAction) -> Self

Add missing facts action

pub fn with_param(self, name: String, type_name: String) -> Self

Add parameter

pub fn with_when(self, condition: String) -> Self

Set conditional execution

pub fn should_execute(&self, _facts: &Facts) -> Result<bool, RuleEngineError>

Check if query should execute based on when condition

pub fn execute_success_actions( &self, facts: &mut Facts, ) -> Result<(), RuleEngineError>

Execute success actions

pub fn execute_failure_actions( &self, facts: &mut Facts, ) -> Result<(), RuleEngineError>

Execute failure actions

pub fn execute_missing_actions( &self, facts: &mut Facts, ) -> Result<(), RuleEngineError>

Execute missing facts actions

pub fn to_config(&self) -> BackwardConfig

Convert to BackwardConfig

Trait Implementations

impl Clone for GRLQuery

fn clone(&self) -> GRLQuery

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GRLQuery

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

Formats the value using the given formatter.