Trait ovmi::predicates::BaseAtomicPredicateInterface [−][src]
pub trait BaseAtomicPredicateInterface<Address>: AtomicPredicateInterface<Address> + DecidablePredicateInterface<Address> { }
Implementors
impl<'a, Ext: ExternalCall> BaseAtomicPredicateInterface<<Ext as ExternalCall>::Address> for VerifyInclusionPredicate<'a, Ext>[src]impl<Ext: ExternalCall> BaseAtomicPredicateInterface<<Ext as ExternalCall>::Address> for BaseAtomicExecutable<'_, Ext>[src]impl<Ext: ExternalCall> BaseAtomicPredicateInterface<<Ext as ExternalCall>::Address> for EqualPredicate<'_, Ext>[src]impl<Ext: ExternalCall> BaseAtomicPredicateInterface<<Ext as ExternalCall>::Address> for IsContainedPredicate<'_, Ext>[src]impl<Ext: ExternalCall> BaseAtomicPredicateInterface<<Ext as ExternalCall>::Address> for IsLessThanPredicate<'_, Ext>[src]impl<Ext: ExternalCall> BaseAtomicPredicateInterface<<Ext as ExternalCall>::Address> for IsStoredPredicate<'_, Ext>[src]impl<Ext: ExternalCall> BaseAtomicPredicateInterface<<Ext as ExternalCall>::Address> for IsValidSignaturePredicate<'_, Ext>[src]