Struct UncheckedCompleteness

pub struct UncheckedCompleteness {}

No-Op implementation of Completeness.

Implementations

impl UncheckedCompleteness

pub unsafe fn new() -> Self

Constructs a new instance of UncheckedCompleteness.

Safety

Marked as unsafe, as it does adhere to its contract (guaranteeing stability).

Unless you are sure you really need this, consider alternatives such as [ImplicitClose] or [ExplicitClose].

Trait Implementations

impl<LABEL: Hash + Eq, DATA> Completeness<LABEL, DATA> for UncheckedCompleteness

type NewEdgeResult = ()

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

fn cmpl_new_scope(&self, _: &InnerScopeGraph<'_, LABEL, DATA>, _: 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>( &self, inner_scope_graph: &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 Debug for UncheckedCompleteness

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

Formats the value using the given formatter.