Enum ovmi::predicates::PredicateCallInputs [−][src]
pub enum PredicateCallInputs<Address> { AtomicPredicate(AtomicPredicateCallInputs), DecidablePredicate(DecidablePredicateCallInputs), LogicalConnective(LogicalConnectiveCallInputs<Address>), BaseAtomicPredicate(BaseAtomicPredicateCallInputs), CompiledPredicate(CompiledPredicateCallInputs<Address>), }
Variants
AtomicPredicate(AtomicPredicateCallInputs)
DecidablePredicate(DecidablePredicateCallInputs)
LogicalConnective(LogicalConnectiveCallInputs<Address>)
BaseAtomicPredicate(BaseAtomicPredicateCallInputs)
CompiledPredicate(CompiledPredicateCallInputs<Address>)
Trait Implementations
impl<Address> Decode for PredicateCallInputs<Address> where
LogicalConnectiveCallInputs<Address>: Decode,
LogicalConnectiveCallInputs<Address>: Decode,
CompiledPredicateCallInputs<Address>: Decode,
CompiledPredicateCallInputs<Address>: Decode,
[src]
impl<Address> Decode for PredicateCallInputs<Address> where
LogicalConnectiveCallInputs<Address>: Decode,
LogicalConnectiveCallInputs<Address>: Decode,
CompiledPredicateCallInputs<Address>: Decode,
CompiledPredicateCallInputs<Address>: Decode,
[src]impl<Address> Encode for PredicateCallInputs<Address> where
LogicalConnectiveCallInputs<Address>: Encode,
LogicalConnectiveCallInputs<Address>: Encode,
CompiledPredicateCallInputs<Address>: Encode,
CompiledPredicateCallInputs<Address>: Encode,
[src]
impl<Address> Encode for PredicateCallInputs<Address> where
LogicalConnectiveCallInputs<Address>: Encode,
LogicalConnectiveCallInputs<Address>: Encode,
CompiledPredicateCallInputs<Address>: Encode,
CompiledPredicateCallInputs<Address>: Encode,
[src]Convert self to a slice and append it to the destination.
If possible give a hint of expected size of the encoding. Read more
impl<Address: PartialEq> PartialEq<PredicateCallInputs<Address>> for PredicateCallInputs<Address>
[src]
impl<Address: PartialEq> PartialEq<PredicateCallInputs<Address>> for PredicateCallInputs<Address>
[src]This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
impl<Address> EncodeLike<PredicateCallInputs<Address>> for PredicateCallInputs<Address> where
LogicalConnectiveCallInputs<Address>: Encode,
LogicalConnectiveCallInputs<Address>: Encode,
CompiledPredicateCallInputs<Address>: Encode,
CompiledPredicateCallInputs<Address>: Encode,
[src]Auto Trait Implementations
impl<Address> RefUnwindSafe for PredicateCallInputs<Address> where
Address: RefUnwindSafe,
impl<Address> Send for PredicateCallInputs<Address> where
Address: Send,
impl<Address> Sync for PredicateCallInputs<Address> where
Address: Sync,
impl<Address> Unpin for PredicateCallInputs<Address> where
Address: Unpin,
impl<Address> UnwindSafe for PredicateCallInputs<Address> where
Address: UnwindSafe,
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