pub struct ConditionEqual<L> { /* fields omitted */ }
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
impl<T> Any for T where
T: 'static + ?Sized,
Immutably borrows from an owned value. Read more
Mutably borrows from an owned value. Read more
impl<T, U> Into<U> for T where
U: From<T>,
The type returned in the event of a conversion error.
The type returned in the event of a conversion error.