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]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