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