Struct edn::query::OrJoin

pub struct OrJoin {
    pub unify_vars: UnifyVars,
    pub clauses: Vec<OrWhereClause>,
    // some fields omitted
}

Fields

unify_vars: UnifyVars

clauses: Vec<OrWhereClause>

Methods

impl OrJoin

pub fn new(unify_vars: UnifyVars, clauses: Vec<OrWhereClause>) -> OrJoin

pub fn is_fully_unified(&self) -> bool

Return true if either the OrJoin is UnifyVars::Implicit, or if every variable mentioned inside the join is also mentioned in the UnifyVars list.

impl OrJoin

pub fn dismember(self) -> (Vec<OrWhereClause>, UnifyVars, BTreeSet<Variable>)

pub fn mentioned_variables<'a>(&'a mut self) -> &'a BTreeSet<Variable>

Trait Implementations

impl Clone for OrJoin

fn clone(&self) -> OrJoin

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for OrJoin

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Eq for OrJoin

impl PartialEq for OrJoin

fn eq(&self, __arg_0: &OrJoin) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &OrJoin) -> bool

This method tests for !=.

impl ContainsVariables for OrJoin

fn accumulate_mentioned_variables(&self, acc: &mut BTreeSet<Variable>)

fn collect_mentioned_variables(&self) -> BTreeSet<Variable>