Enum ovmi::predicates::DecidableExecutable [−][src]
pub enum DecidableExecutable<'a, Ext: ExternalCall> { And(AndPredicate<'a, Ext>), Not(NotPredicate<'a, Ext>), Or(OrPredicate<'a, Ext>), ForAll(ForAllPredicate<'a, Ext>), ThereExists(ThereExistsPredicate<'a, Ext>), Equal(EqualPredicate<'a, Ext>), IsContained(IsContainedPredicate<'a, Ext>), IsLess(IsLessThanPredicate<'a, Ext>), IsStored(IsStoredPredicate<'a, Ext>), IsValidSignature(IsValidSignaturePredicate<'a, Ext>), VerifyInclusion(VerifyInclusionPredicate<'a, Ext>), }
Variants
And(AndPredicate<'a, Ext>)
Not(NotPredicate<'a, Ext>)
Or(OrPredicate<'a, Ext>)
ForAll(ForAllPredicate<'a, Ext>)
ThereExists(ThereExistsPredicate<'a, Ext>)
Equal(EqualPredicate<'a, Ext>)
IsContained(IsContainedPredicate<'a, Ext>)
IsLess(IsLessThanPredicate<'a, Ext>)
IsStored(IsStoredPredicate<'a, Ext>)
IsValidSignature(IsValidSignaturePredicate<'a, Ext>)
VerifyInclusion(VerifyInclusionPredicate<'a, Ext>)
Trait Implementations
impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for DecidableExecutable<'_, Ext>
[src]
impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for DecidableExecutable<'_, Ext>
[src]fn decide_with_witness(
&self,
inputs: Vec<Vec<u8>>,
witness: Vec<Vec<u8>>
) -> ExecResult<AddressOf<Ext>>
[src]Auto Trait Implementations
impl<'a, Ext> RefUnwindSafe for DecidableExecutable<'a, Ext> where
Ext: RefUnwindSafe,
impl<'a, Ext> Send for DecidableExecutable<'a, Ext> where
Ext: Sync,
impl<'a, Ext> Sync for DecidableExecutable<'a, Ext> where
Ext: Sync,
impl<'a, Ext> Unpin for DecidableExecutable<'a, Ext>
impl<'a, Ext> UnwindSafe for DecidableExecutable<'a, Ext> where
Ext: RefUnwindSafe,