Enum ovmi::compiled_predicates::LogicalConnective [−][src]
pub enum LogicalConnective { And, ForAllSuchThat, Not, Or, ThereExistsSuchThat, }
Expand description
LogicalConnective
Variants
Trait Implementations
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 RefUnwindSafe for LogicalConnective
impl Send for LogicalConnective
impl Sync for LogicalConnective
impl Unpin for LogicalConnective
impl UnwindSafe for LogicalConnective
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