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