Struct chalk_engine::SimplifiedAnswer [−][src]
pub struct SimplifiedAnswer<C: Context> { pub subst: C::CanonicalConstrainedSubst, pub ambiguous: bool, }
Fields
subst: C::CanonicalConstrainedSubst
A fully instantiated version of the goal for which the query is true (including region constraints).
ambiguous: bool
If this flag is set, then the answer could be neither proven
nor disproven. In general, the existence of a non-empty set of
delayed literals simply means the answer's status is UNKNOWN,
either because the size of the answer exceeded max_size
or
because of a negative loop (e.g., P :- not { P }
).
Trait Implementations
impl<C: Clone + Context> Clone for SimplifiedAnswer<C> where
C::CanonicalConstrainedSubst: Clone,
[src]
impl<C: Clone + Context> Clone for SimplifiedAnswer<C> where
C::CanonicalConstrainedSubst: Clone,
fn clone(&self) -> SimplifiedAnswer<C>
[src]
fn clone(&self) -> SimplifiedAnswer<C>
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
impl<C: Debug + Context> Debug for SimplifiedAnswer<C> where
C::CanonicalConstrainedSubst: Debug,
[src]
impl<C: Debug + Context> Debug for SimplifiedAnswer<C> where
C::CanonicalConstrainedSubst: Debug,
fn fmt(&self, f: &mut Formatter) -> Result
[src]
fn fmt(&self, f: &mut Formatter) -> Result
Formats the value using the given formatter. Read more
impl<C: PartialEq + Context> PartialEq for SimplifiedAnswer<C> where
C::CanonicalConstrainedSubst: PartialEq,
[src]
impl<C: PartialEq + Context> PartialEq for SimplifiedAnswer<C> where
C::CanonicalConstrainedSubst: PartialEq,
fn eq(&self, other: &SimplifiedAnswer<C>) -> bool
[src]
fn eq(&self, other: &SimplifiedAnswer<C>) -> bool
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, other: &SimplifiedAnswer<C>) -> bool
[src]
fn ne(&self, other: &SimplifiedAnswer<C>) -> bool
This method tests for !=
.
impl<C: Eq + Context> Eq for SimplifiedAnswer<C> where
C::CanonicalConstrainedSubst: Eq,
[src]
impl<C: Eq + Context> Eq for SimplifiedAnswer<C> where
C::CanonicalConstrainedSubst: Eq,
impl<C: PartialOrd + Context> PartialOrd for SimplifiedAnswer<C> where
C::CanonicalConstrainedSubst: PartialOrd,
[src]
impl<C: PartialOrd + Context> PartialOrd for SimplifiedAnswer<C> where
C::CanonicalConstrainedSubst: PartialOrd,
fn partial_cmp(&self, other: &SimplifiedAnswer<C>) -> Option<Ordering>
[src]
fn partial_cmp(&self, other: &SimplifiedAnswer<C>) -> Option<Ordering>
This method returns an ordering between self
and other
values if one exists. Read more
fn lt(&self, other: &SimplifiedAnswer<C>) -> bool
[src]
fn lt(&self, other: &SimplifiedAnswer<C>) -> bool
This method tests less than (for self
and other
) and is used by the <
operator. Read more
fn le(&self, other: &SimplifiedAnswer<C>) -> bool
[src]
fn le(&self, other: &SimplifiedAnswer<C>) -> bool
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
fn gt(&self, other: &SimplifiedAnswer<C>) -> bool
[src]
fn gt(&self, other: &SimplifiedAnswer<C>) -> bool
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
fn ge(&self, other: &SimplifiedAnswer<C>) -> bool
[src]
fn ge(&self, other: &SimplifiedAnswer<C>) -> bool
This method tests greater than or equal to (for self
and other
) and is used by the >=
operator. Read more
impl<C: Ord + Context> Ord for SimplifiedAnswer<C> where
C::CanonicalConstrainedSubst: Ord,
[src]
impl<C: Ord + Context> Ord for SimplifiedAnswer<C> where
C::CanonicalConstrainedSubst: Ord,
fn cmp(&self, other: &SimplifiedAnswer<C>) -> Ordering
[src]
fn cmp(&self, other: &SimplifiedAnswer<C>) -> Ordering
This method returns an Ordering
between self
and other
. Read more
fn max(self, other: Self) -> Self
1.21.0[src]
fn max(self, other: Self) -> Self
Compares and returns the maximum of two values. Read more
fn min(self, other: Self) -> Self
1.21.0[src]
fn min(self, other: Self) -> Self
Compares and returns the minimum of two values. Read more
impl<C: Hash + Context> Hash for SimplifiedAnswer<C> where
C::CanonicalConstrainedSubst: Hash,
[src]
impl<C: Hash + Context> Hash for SimplifiedAnswer<C> where
C::CanonicalConstrainedSubst: Hash,
Auto Trait Implementations
impl<C> Send for SimplifiedAnswer<C> where
<C as Context>::CanonicalConstrainedSubst: Send,
impl<C> Send for SimplifiedAnswer<C> where
<C as Context>::CanonicalConstrainedSubst: Send,
impl<C> Sync for SimplifiedAnswer<C> where
<C as Context>::CanonicalConstrainedSubst: Sync,
impl<C> Sync for SimplifiedAnswer<C> where
<C as Context>::CanonicalConstrainedSubst: Sync,