Struct FutureCompleteness

pub struct FutureCompleteness<LABEL> { /* private fields */ }

Trait Implementations

impl<LABEL: Hash + Eq + Label + Copy, DATA> Completeness<LABEL, DATA> for FutureCompleteness<LABEL>

type NewEdgeResult = <ExplicitClose<LABEL> as Completeness<LABEL, DATA>>::NewEdgeResult

type GetEdgesResult<'rslv> = FutureWrapper<'rslv, Vec<Scope>> where Self: 'rslv, LABEL: 'rslv, DATA: 'rslv

fn cmpl_new_scope( &self, inner_scope_graph: &InnerScopeGraph<'_, LABEL, DATA>, scope: Scope, )

fn cmpl_new_edge( &self, inner_scope_graph: &InnerScopeGraph<'_, LABEL, DATA>, src: Scope, lbl: LABEL, dst: Scope, ) -> Self::NewEdgeResult

fn cmpl_get_edges<'rslv>( &'rslv self, inner_scope_graph: &'rslv InnerScopeGraph<'_, LABEL, DATA>, src: Scope, lbl: LABEL, ) -> Self::GetEdgesResult<'rslv>

where LABEL: 'rslv, DATA: 'rslv,

fn cmpl_new_complete_scope( &self, inner_scope_graph: &InnerScopeGraph<'_, LABEL, DATA>, scope: Scope, )

Should initialize a scope without possibility to extend it with edges

impl<LABEL: Hash + Eq + Label + Copy, DATA> CriticalEdgeBasedCompleteness<LABEL, DATA> for FutureCompleteness<LABEL>

fn init_scope_with(&self, open_edges: HashSet<LABEL>)

impl<LABEL: Debug> Debug for FutureCompleteness<LABEL>

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

Formats the value using the given formatter.

impl<LABEL> Default for FutureCompleteness<LABEL>

fn default() -> Self

Returns the “default value” for a type.