VerifierPluginLike

rapimt::ver::plugin

Trait VerifierPluginLike 

pub trait VerifierPluginLike<P, NK, Node, Edge>:
    GraphPluginLike<NK, Node, Edge>
    + Send
    + Sync
    + Debug
where
    P: PredicateInner,
{
    // Required method
    fn header_space(&self) -> Predicate<P>;
}
Expand description

A verifier plugin differs from a graph plugin in that a verifier plugin is needed to be dispatched according to its header space by the verifier.

Required Methods§

fn header_space(&self) -> Predicate<P>

Implementors§