Enum chalk_engine::DelayedLiteral
[−]
[src]
pub enum DelayedLiteral<C: Context> { CannotProve(()), Negative(TableIndex), Positive(TableIndex, C::CanonicalConstrainedSubst), }
Variants
CannotProve(())
Something which can never be proven nor disproven. Inserted when truncation triggers; doesn't arise normally.
Negative(TableIndex)
We are blocked on a negative literal ~G
, where G
is the
goal of the given table. Because negative goals must always be
ground, we don't need any other information.
Positive(TableIndex, C::CanonicalConstrainedSubst)
We are blocked on a positive literal Li
; we found a
conditional answer (the CanonicalConstrainedSubst
) within the
given table, but we have to come back later and see whether
that answer turns out to be true.
Trait Implementations
impl<C: Context> PartialEq for DelayedLiteral<C>
[src]
fn eq(&self, other: &Self) -> bool
[src]
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, other: &Rhs) -> bool
1.0.0[src]
This method tests for !=
.
impl<C: Context> Eq for DelayedLiteral<C>
[src]
impl<C: Context> PartialOrd for DelayedLiteral<C>
[src]
fn partial_cmp(&self, other: &Self) -> Option<Ordering>
[src]
This method returns an ordering between self
and other
values if one exists. Read more
fn lt(&self, other: &Rhs) -> bool
1.0.0[src]
This method tests less than (for self
and other
) and is used by the <
operator. Read more
fn le(&self, other: &Rhs) -> bool
1.0.0[src]
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
fn gt(&self, other: &Rhs) -> bool
1.0.0[src]
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
fn ge(&self, other: &Rhs) -> bool
1.0.0[src]
This method tests greater than or equal to (for self
and other
) and is used by the >=
operator. Read more
impl<C: Context> Ord for DelayedLiteral<C>
[src]
fn cmp(&self, other: &Self) -> Ordering
[src]
This method returns an Ordering
between self
and other
. Read more
fn max(self, other: Self) -> Self
1.21.0[src]
Compares and returns the maximum of two values. Read more
fn min(self, other: Self) -> Self
1.21.0[src]
Compares and returns the minimum of two values. Read more
impl<C: Context> Hash for DelayedLiteral<C>
[src]
fn hash<H: Hasher>(&self, hasher: &mut H)
[src]
Feeds this value into the given [Hasher
]. Read more
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
H: Hasher,
Feeds a slice of this type into the given [Hasher
]. Read more
impl<C: Clone + Context> Clone for DelayedLiteral<C> where
C::CanonicalConstrainedSubst: Clone,
[src]
C::CanonicalConstrainedSubst: Clone,
fn clone(&self) -> DelayedLiteral<C>
[src]
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl<C: Debug + Context> Debug for DelayedLiteral<C> where
C::CanonicalConstrainedSubst: Debug,
[src]
C::CanonicalConstrainedSubst: Debug,
Auto Trait Implementations
impl<C> Send for DelayedLiteral<C> where
<C as Context>::CanonicalConstrainedSubst: Send,
<C as Context>::CanonicalConstrainedSubst: Send,
impl<C> Sync for DelayedLiteral<C> where
<C as Context>::CanonicalConstrainedSubst: Sync,
<C as Context>::CanonicalConstrainedSubst: Sync,