Trait ovmi::predicates::DecidablePredicateInterface [−][src]
pub trait DecidablePredicateInterface<Address> {
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>[src]Implementors
impl<'a, Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for NotPredicate<'a, Ext>[src]
impl<'a, Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for NotPredicate<'a, Ext>[src]fn decide_with_witness(
&self,
_inputs: Vec<Vec<u8>>,
_witness: Vec<Vec<u8>>
) -> ExecResult<AddressOf<Ext>>[src]
fn decide_with_witness(
&self,
_inputs: Vec<Vec<u8>>,
_witness: Vec<Vec<u8>>
) -> ExecResult<AddressOf<Ext>>[src]@dev Decides true
impl<'a, Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for OrPredicate<'a, Ext>[src]
impl<'a, Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for OrPredicate<'a, Ext>[src]fn decide_with_witness(
&self,
inputs: Vec<Vec<u8>>,
witness: Vec<Vec<u8>>
) -> ExecResult<AddressOf<Ext>>[src]
fn decide_with_witness(
&self,
inputs: Vec<Vec<u8>>,
witness: Vec<Vec<u8>>
) -> ExecResult<AddressOf<Ext>>[src]@dev Can decide true when all child properties are decided true
impl<'a, Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for ThereExistsPredicate<'a, Ext>[src]
impl<'a, Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for ThereExistsPredicate<'a, Ext>[src]fn decide_with_witness(
&self,
inputs: Vec<Vec<u8>>,
witness: Vec<Vec<u8>>
) -> ExecResult<AddressOf<Ext>>[src]
fn decide_with_witness(
&self,
inputs: Vec<Vec<u8>>,
witness: Vec<Vec<u8>>
) -> ExecResult<AddressOf<Ext>>[src]@dev Can decide true when all child properties are decided true
impl<'a, Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for VerifyInclusionPredicate<'a, Ext>[src]
impl<'a, Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for VerifyInclusionPredicate<'a, Ext>[src]fn decide_with_witness(
&self,
inputs: Vec<Vec<u8>>,
_witness: Vec<Vec<u8>>
) -> ExecResult<AddressOf<Ext>>[src]impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for BaseAtomicExecutable<'_, Ext>[src]
impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for BaseAtomicExecutable<'_, Ext>[src]fn decide_with_witness(
&self,
inputs: Vec<Vec<u8>>,
witness: Vec<Vec<u8>>
) -> ExecResult<AddressOf<Ext>>[src]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]impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for AndPredicate<'_, Ext>[src]
impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for AndPredicate<'_, Ext>[src]fn decide_with_witness(
&self,
inputs: Vec<Vec<u8>>,
_witness: Vec<Vec<u8>>
) -> ExecResult<AddressOf<Ext>>[src]
fn decide_with_witness(
&self,
inputs: Vec<Vec<u8>>,
_witness: Vec<Vec<u8>>
) -> ExecResult<AddressOf<Ext>>[src]@dev Can decide true when all child properties are decided true
impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for EqualPredicate<'_, Ext>[src]
impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for EqualPredicate<'_, Ext>[src]fn decide_with_witness(
&self,
inputs: Vec<Vec<u8>>,
_witness: Vec<Vec<u8>>
) -> ExecResult<AddressOf<Ext>>[src]impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for ForAllPredicate<'_, Ext>[src]
impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for ForAllPredicate<'_, Ext>[src]fn decide_with_witness(
&self,
_inputs: Vec<Vec<u8>>,
_witness: Vec<Vec<u8>>
) -> ExecResult<AddressOf<Ext>>[src]
fn decide_with_witness(
&self,
_inputs: Vec<Vec<u8>>,
_witness: Vec<Vec<u8>>
) -> ExecResult<AddressOf<Ext>>[src]@dev Can decide true when all child properties are decided true
impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for IsContainedPredicate<'_, Ext>[src]
impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for IsContainedPredicate<'_, Ext>[src]fn decide_with_witness(
&self,
inputs: Vec<Vec<u8>>,
_witness: Vec<Vec<u8>>
) -> ExecResult<AddressOf<Ext>>[src]impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for IsLessThanPredicate<'_, Ext>[src]
impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for IsLessThanPredicate<'_, Ext>[src]fn decide_with_witness(
&self,
inputs: Vec<Vec<u8>>,
_witness: Vec<Vec<u8>>
) -> ExecResult<AddressOf<Ext>>[src]impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for IsStoredPredicate<'_, Ext>[src]
impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for IsStoredPredicate<'_, Ext>[src]fn decide_with_witness(
&self,
inputs: Vec<Vec<u8>>,
_witness: Vec<Vec<u8>>
) -> ExecResult<AddressOf<Ext>>[src]impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for IsValidSignaturePredicate<'_, Ext>[src]
impl<Ext: ExternalCall> DecidablePredicateInterface<<Ext as ExternalCall>::Address> for IsValidSignaturePredicate<'_, Ext>[src]fn decide_with_witness(
&self,
inputs: Vec<Vec<u8>>,
_witness: Vec<Vec<u8>>
) -> ExecResult<AddressOf<Ext>>[src]