Struct QueryResult 

pub struct QueryResult {
    pub provable: bool,
    pub bindings: HashMap<String, Value>,
    pub proof_trace: ProofTrace,
    pub missing_facts: Vec<String>,
    pub stats: QueryStats,
}

Result of a query operation

Fields

provable: bool

Whether the query goal is provable

bindings: HashMap<String, Value>

Variable bindings that satisfy the query

proof_trace: ProofTrace

Trace of how the goal was proven

missing_facts: Vec<String>

Facts that are missing to prove the goal

stats: QueryStats

Execution statistics

Implementations

impl QueryResult

pub fn success( bindings: HashMap<String, Value>, proof: ProofTrace, stats: QueryStats, ) -> Self

Create a successful query result

pub fn failure(missing: Vec<String>, stats: QueryStats) -> Self

Create a failed query result

Trait Implementations

impl Clone for QueryResult

fn clone(&self) -> QueryResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for QueryResult

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

Formats the value using the given formatter.