Trait GetPredicate

pub trait GetPredicate {
    // Required method
    fn get_predicate(&self, addr: &PredicateAddress) -> Arc<Predicate>;
}

Required impl for retrieving access to any Solution’s Predicates during check.

Required Methods

fn get_predicate(&self, addr: &PredicateAddress) -> Arc<Predicate>

Provides immediate access to the predicate with the given content address.

This is called by check_set_predicates for each predicate in each solution being checked.

All necessary programs are assumed to have been read from storage and validated ahead of time.

Implementations on Foreign Types

impl GetPredicate for HashMap<PredicateAddress, Arc<Predicate>>

fn get_predicate(&self, addr: &PredicateAddress) -> Arc<Predicate>

impl<T: GetPredicate> GetPredicate for Arc<T>

fn get_predicate(&self, addr: &PredicateAddress) -> Arc<Predicate>

Implementors

impl<F> GetPredicate for F

where F: Fn(&PredicateAddress) -> Arc<Predicate>,