pub struct ConditionEqual<L> { /* private fields */ }
Expand description
A Condition
that checks if two terms are equivalent.
This condition adds its two Pattern
to the egraph and passes
if and only if they are equivalent (in the same eclass).
Create a ConditionEqual by parsing two pattern strings.
This panics if the parsing fails.
Returns a list of variables that this Condition assumes are bound.
Read more
Formats the value using the given formatter.
Read more
Immutably borrows from an owned value.
Read more
Mutably borrows from an owned value.
Read more
Returns the argument unchanged.
Calls U::from(self)
.
That is, this conversion is whatever the implementation of
From<T> for U
chooses to do.
The type returned in the event of a conversion error.
Performs the conversion.
The type returned in the event of a conversion error.
Performs the conversion.