Struct DisjunctionResult 

pub struct DisjunctionResult {
    pub solutions: Vec<Bindings>,
    pub successful_branches: Vec<usize>,
    pub success: bool,
}

Result of evaluating a disjunction

Fields

solutions: Vec<Bindings>

All solutions from all branches

successful_branches: Vec<usize>

Which branches succeeded (by index)

success: bool

Whether the disjunction as a whole succeeded

Implementations

impl DisjunctionResult

pub fn new() -> Self

Create a new result

pub fn success( solutions: Vec<Bindings>, successful_branches: Vec<usize>, ) -> Self

Create a successful result

pub fn failure() -> Self

Create a failed result

pub fn add_branch_solutions( &mut self, branch_index: usize, solutions: Vec<Bindings>, )

Add solutions from a branch

pub fn deduplicate(&mut self)

Deduplicate solutions based on variable bindings

pub fn solution_count(&self) -> usize

Get the total number of solutions

Trait Implementations

impl Clone for DisjunctionResult

fn clone(&self) -> DisjunctionResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DisjunctionResult

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

Formats the value using the given formatter.

impl Default for DisjunctionResult

fn default() -> Self

Returns the “default value” for a type.