Struct OutputRelation 

pub struct OutputRelation {
    pub contains: Option<bool>,
    pub strict_contains: Option<bool>,
    pub contained: Option<bool>,
    pub strict_contained: Option<bool>,
    pub intersect: Option<bool>,
    pub disjoint: Option<bool>,
}

Returned by the relation function. All fields are made of a Option. There are two cases for which a field can be None:

• If you didn’t ask for it when filling the InputRelation struct
• If the relation algorithm didn’t evaluate this relation because the early_exit flag was set.

Fields

contains: Option<bool>

strict_contains: Option<bool>

contained: Option<bool>

strict_contained: Option<bool>

intersect: Option<bool>

disjoint: Option<bool>

Implementations

impl OutputRelation

pub fn false_from_input(relation: InputRelation) -> Self

pub fn true_from_input(relation: InputRelation) -> Self

pub fn make_contains_if_set(self) -> Self

pub fn make_strict_contains_if_set(self) -> Self

Set both the contains and strict_contains field to true if they are set

pub fn make_contained_if_set(self) -> Self

pub fn make_strict_contained_if_set(self) -> Self

Set both the contained and strict_contained field to true if they are set

pub fn make_intersect_if_set(self) -> Self

pub fn make_disjoint_if_set(self) -> Self

pub fn strip_strict(self) -> Self

pub fn contains() -> Self

pub fn strict_contains() -> Self

pub fn contained() -> Self

pub fn strict_contained() -> Self

pub fn intersect() -> Self

pub fn disjoint() -> Self

pub fn any_relation(&self) -> bool

pub fn swap_contains_relation(self) -> Self

Trait Implementations

impl BitOr for OutputRelation

type Output = OutputRelation

The resulting type after applying the | operator.

fn bitor(self, other: Self) -> Self::Output

Performs the | operation.

impl BitOrAssign for OutputRelation

fn bitor_assign(&mut self, rhs: Self)

Performs the |= operation.

impl Clone for OutputRelation

fn clone(&self) -> OutputRelation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OutputRelation

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

Formats the value using the given formatter.

impl Default for OutputRelation

fn default() -> OutputRelation

Returns the “default value” for a type.

impl PartialEq for OutputRelation

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

impl Eq for OutputRelation

impl StructuralPartialEq for OutputRelation