Struct ovmi::compiled_predicates::IntermediateCompiledPredicate [−][src]
pub struct IntermediateCompiledPredicate { pub type: PredicateType, pub name: Vec<u8>, pub original_predicate_name: Vec<u8>, pub connective: LogicalConnective, pub input_defs: Vec<Vec<u8>>, pub inputs: Vec<AtomicPropositionOrPlaceholder>, pub property_inputs: Vec<NormalInput>, }
Expand description
IntermediateCompiledPredicate is core of compilation which has only atomic propositions as its inputs. When we have for a in B() {Foo(a) and Bar(a)}, “for a in B() {…}” and “Foo(a) and Bar(a)” are IntermediateCompiledPredicate.
Fields
type: PredicateType
name: Vec<u8>
original_predicate_name: Vec<u8>
connective: LogicalConnective
input_defs: Vec<Vec<u8>>
inputs: Vec<AtomicPropositionOrPlaceholder>
property_inputs: Vec<NormalInput>
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 Send for IntermediateCompiledPredicate
impl Sync for IntermediateCompiledPredicate
impl Unpin for IntermediateCompiledPredicate
impl UnwindSafe for IntermediateCompiledPredicate
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