Struct ovmi::predicates::OrPredicate [−][src]
pub struct OrPredicate<'a, Ext: ExternalCall> { pub ext: &'a Ext, }
Fields
ext: &'a Ext
Trait Implementations
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> LogicalConnectiveInterface<<Ext as ExternalCall>::Address> for OrPredicate<'a, Ext>
[src]
impl<'a, Ext: ExternalCall> LogicalConnectiveInterface<<Ext as ExternalCall>::Address> for OrPredicate<'a, Ext>
[src]Auto Trait Implementations
impl<'a, Ext> RefUnwindSafe for OrPredicate<'a, Ext> where
Ext: RefUnwindSafe,
impl<'a, Ext> Send for OrPredicate<'a, Ext> where
Ext: Sync,
impl<'a, Ext> Sync for OrPredicate<'a, Ext> where
Ext: Sync,
impl<'a, Ext> Unpin for OrPredicate<'a, Ext>
impl<'a, Ext> UnwindSafe for OrPredicate<'a, Ext> where
Ext: RefUnwindSafe,