Trait Annotations

pub trait Annotations<N: Idx> {
    type Ann: Annotation;
    type SccIdx: Idx + Ord;

    // Required methods
    fn new(&self, element: N) -> Self::Ann;
    fn annotate_scc(&mut self, scc: Self::SccIdx, annotation: Self::Ann);
}

An accumulator for annotations.

Required Associated Types

type Ann: Annotation

type SccIdx: Idx + Ord

Required Methods

fn new(&self, element: N) -> Self::Ann

fn annotate_scc(&mut self, scc: Self::SccIdx, annotation: Self::Ann)

Implementors

impl<N: Idx, S: Idx + Ord> Annotations<N> for NoAnnotations<S>

type SccIdx = S

type Ann = ()