Enum ovmi::prepare::LogicalConnectiveSerializable [−][src]
pub enum LogicalConnectiveSerializable { And, ForAllSuchThat, Not, Or, ThereExistsSuchThat, }
Variants
Trait Implementations
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
[src]
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
[src]Deserialize this value from the given Serde deserializer. Read more
Convert self to a slice and append it to the destination.
If possible give a hint of expected size of the encoding. Read more
Performs the conversion.
Auto Trait Implementations
impl Send for LogicalConnectiveSerializable
impl Sync for LogicalConnectiveSerializable
impl Unpin for LogicalConnectiveSerializable
impl UnwindSafe for LogicalConnectiveSerializable
Blanket Implementations
Mutably borrows from an owned value. Read more
Decode Self
and consume all of the given input data. If not all data is consumed, an error
is returned. Read more