Trait DecidablePredicateInterface 

pub trait DecidablePredicateInterface<Address> {
    // Required method
    fn decide_with_witness(
        &self,
        _inputs: Vec<Vec<u8>>,
        _witness: Vec<Vec<u8>>,
    ) -> ExecResult<Address>;
}

Required Methods

fn decide_with_witness( &self, _inputs: Vec<Vec<u8>>, _witness: Vec<Vec<u8>>, ) -> ExecResult<Address>

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<'a, Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for NotPredicate<'a, Ext>

impl<'a, Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for OrPredicate<'a, Ext>

impl<'a, Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for ThereExistsPredicate<'a, Ext>

impl<'a, Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for VerifyInclusionPredicate<'a, Ext>

impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for AndPredicate<'_, Ext>

impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for BaseAtomicExecutable<'_, Ext>

impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for DecidableExecutable<'_, Ext>

impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for EqualPredicate<'_, Ext>

impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for ForAllPredicate<'_, Ext>

impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for IsContainedPredicate<'_, Ext>

impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for IsLessThanPredicate<'_, Ext>

impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for IsStoredPredicate<'_, Ext>

impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for IsValidSignaturePredicate<'_, Ext>