Struct Relations 

pub struct Relations { /* private fields */ }

The modality of every Relation between one pair of expressions, as computed by Edtf::relation.

Implementations

impl Relations

pub const fn modality(self, r: Relation) -> Modality

The modality of one relation.

pub fn is_possible(self, r: Relation) -> bool

True if the relation holds for at least one completion pair (i.e. its modality is Possible or Definite).

pub fn is_definite(self, r: Relation) -> bool

True if the relation holds for every completion pair.

pub fn is_impossible(self, r: Relation) -> bool

True if the relation holds for no completion pair.

pub fn definite(self) -> Option<Relation>

The one relation that definitely holds, if any. At most one relation can be definite; only Before, After and Equal ever are.

pub fn possible(self) -> impl Iterator<Item = Relation>

The relations that hold for at least one completion pair, in canonical order. Never empty.

Trait Implementations

impl Clone for Relations

fn clone(&self) -> Relations

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Relations

impl Debug for Relations

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

Formats the value using the given formatter.

impl Display for Relations

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

Comma-separated non-impossible relations, e.g. definitely before or possibly before, possibly overlaps, possibly within.

impl Eq for Relations

impl PartialEq for Relations

fn eq(&self, other: &Relations) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Relations