Struct ovmi::prepare::IntermediateCompiledPredicateSerializable [−][src]
pub struct IntermediateCompiledPredicateSerializable { pub type: PredicateTypeSerializable, pub name: String, pub original_predicate_name: String, pub connective: LogicalConnectiveSerializable, pub input_defs: Vec<String>, pub inputs: Vec<AtomicPropositionOrPlaceholderSerializable>, pub property_inputs: Vec<NormalInputSerializable>, }
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: PredicateTypeSerializable
name: String
original_predicate_name: String
connective: LogicalConnectiveSerializable
input_defs: Vec<String>
inputs: Vec<AtomicPropositionOrPlaceholderSerializable>
property_inputs: Vec<NormalInputSerializable>
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.
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
Auto Trait Implementations
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