Enum DecidableExecutable 

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>

fn decide_with_witness( &self, inputs: Vec<Vec<u8>>, witness: Vec<Vec<u8>>, ) -> ExecResult<AddressOf<Ext>>