Struct ovmi::compiled_predicates::AtomicProposition [−][src]
pub struct AtomicProposition { pub type: PredicateType, pub predicate: PredicateCall, pub inputs: Vec<CompiledInput>, pub is_compiled: Option<bool>, }
Fields
type: PredicateType
predicate: PredicateCall
inputs: Vec<CompiledInput>
is_compiled: Option<bool>
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.
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
Auto Trait Implementations
impl RefUnwindSafe for AtomicProposition
impl Send for AtomicProposition
impl Sync for AtomicProposition
impl Unpin for AtomicProposition
impl UnwindSafe for AtomicProposition
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