pub enum ModelCheckerEngine {
Default,
All,
BMC,
CHC,
}
Expand description
Which model checker engine to run.
Variants§
Trait Implementations§
Source§impl Clone for ModelCheckerEngine
impl Clone for ModelCheckerEngine
Source§fn clone(&self) -> ModelCheckerEngine
fn clone(&self) -> ModelCheckerEngine
Returns a copy of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreSource§impl Debug for ModelCheckerEngine
impl Debug for ModelCheckerEngine
Source§impl Default for ModelCheckerEngine
impl Default for ModelCheckerEngine
Source§fn default() -> ModelCheckerEngine
fn default() -> ModelCheckerEngine
Returns the “default value” for a type. Read more
Source§impl<'de> Deserialize<'de> for ModelCheckerEngine
impl<'de> Deserialize<'de> for ModelCheckerEngine
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl Display for ModelCheckerEngine
impl Display for ModelCheckerEngine
Source§impl FromStr for ModelCheckerEngine
impl FromStr for ModelCheckerEngine
Source§impl PartialEq for ModelCheckerEngine
impl PartialEq for ModelCheckerEngine
Source§impl Serialize for ModelCheckerEngine
impl Serialize for ModelCheckerEngine
impl Eq for ModelCheckerEngine
impl StructuralPartialEq for ModelCheckerEngine
Auto Trait Implementations§
impl Freeze for ModelCheckerEngine
impl RefUnwindSafe for ModelCheckerEngine
impl Send for ModelCheckerEngine
impl Sync for ModelCheckerEngine
impl Unpin for ModelCheckerEngine
impl UnwindSafe for ModelCheckerEngine
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more