Enum DepEdge 

pub enum DepEdge {
    Positive,
    Negative,
    Defines,
}

The semantics of a directed edge in the dependency graph.

Variants

Positive

Rule uses the predicate positively (in head or positive body literal).

Negative

Rule uses the predicate under negation.

Defines

Rule defines (writes to) the predicate — i.e. the head.

Trait Implementations

impl Clone for DepEdge

fn clone(&self) -> DepEdge

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DepEdge

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

Formats the value using the given formatter.

impl Display for DepEdge

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

Formats the value using the given formatter.

impl PartialEq for DepEdge

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

impl StructuralPartialEq for DepEdge