Struct essential_types::predicate::Predicate
source · pub struct Predicate {
pub state_read: Vec<StateReadBytecode>,
pub constraints: Vec<ConstraintBytecode>,
pub directive: Directive,
}
Expand description
An individual predicate to be solved.
Fields§
§state_read: Vec<StateReadBytecode>
The programs that read state.
constraints: Vec<ConstraintBytecode>
The programs that check constraints.
directive: Directive
The directive for the predicate.
Trait Implementations§
source§impl<'de> Deserialize<'de> for Predicate
impl<'de> Deserialize<'de> for Predicate
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl Ord for Predicate
impl Ord for Predicate
source§impl PartialEq for Predicate
impl PartialEq for Predicate
source§impl PartialOrd for Predicate
impl PartialOrd for Predicate
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moreimpl Eq for Predicate
impl StructuralPartialEq for Predicate
Auto Trait Implementations§
impl Freeze for Predicate
impl RefUnwindSafe for Predicate
impl Send for Predicate
impl Sync for Predicate
impl Unpin for Predicate
impl UnwindSafe for Predicate
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§default unsafe fn clone_to_uninit(&self, dst: *mut T)
default unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)