Struct OrJoin 

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

Fields

unify_vars: UnifyVars

clauses: Vec<OrWhereClause>

Implementations

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(&mut self) -> &BTreeSet<Variable>

Trait Implementations

impl Clone for OrJoin

fn clone(&self) -> OrJoin

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl ContainsVariables for OrJoin

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

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

impl Debug for OrJoin

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

Formats the value using the given formatter.

impl Display for OrJoin

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

Formats the value using the given formatter.

impl Eq for OrJoin

impl PartialEq for OrJoin

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