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