Enum ovmi::predicates::LogicalConnectiveExecutable [−][src]
pub enum LogicalConnectiveExecutable<'a, Ext: ExternalCall> { And(AndPredicate<'a, Ext>), Not(NotPredicate<'a, Ext>), Or(OrPredicate<'a, Ext>), ForAll(ForAllPredicate<'a, Ext>), ThereExists(ThereExistsPredicate<'a, Ext>), }
Variants
And(AndPredicate<'a, Ext>)
Not(NotPredicate<'a, Ext>)
Or(OrPredicate<'a, Ext>)
ForAll(ForAllPredicate<'a, Ext>)
ThereExists(ThereExistsPredicate<'a, Ext>)
Trait Implementations
impl<Ext: ExternalCall> LogicalConnectiveInterface<<Ext as ExternalCall>::Address> for LogicalConnectiveExecutable<'_, Ext>
[src]
impl<Ext: ExternalCall> LogicalConnectiveInterface<<Ext as ExternalCall>::Address> for LogicalConnectiveExecutable<'_, Ext>
[src]Auto Trait Implementations
impl<'a, Ext> RefUnwindSafe for LogicalConnectiveExecutable<'a, Ext> where
Ext: RefUnwindSafe,
impl<'a, Ext> Send for LogicalConnectiveExecutable<'a, Ext> where
Ext: Sync,
impl<'a, Ext> Sync for LogicalConnectiveExecutable<'a, Ext> where
Ext: Sync,
impl<'a, Ext> Unpin for LogicalConnectiveExecutable<'a, Ext>
impl<'a, Ext> UnwindSafe for LogicalConnectiveExecutable<'a, Ext> where
Ext: RefUnwindSafe,