Struct ConditionEqual

Source
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).

Implementations§

Source§

impl<L: Language> ConditionEqual<L>

Source

pub fn new(p1: Pattern<L>, p2: Pattern<L>) -> Self

Create a new ConditionEqual condition given two patterns.

Source§

impl<L: FromOp> ConditionEqual<L>

Source

pub fn parse(a1: &str, a2: &str) -> Self

Create a ConditionEqual by parsing two pattern strings.

This panics if the parsing fails.

Trait Implementations§

Source§

impl<L, N> Condition<L, N> for ConditionEqual<L>
where L: Language, N: Analysis<L>,

Source§

fn check(&self, egraph: &mut EGraph<L, N>, _eclass: Id, subst: &Subst) -> bool

Check a condition. Read more
Source§

fn vars(&self) -> Vec<Var>

Returns a list of variables that this Condition assumes are bound. Read more
Source§

impl<L: Debug> Debug for ConditionEqual<L>

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

impl<L> Freeze for ConditionEqual<L>

§

impl<L> RefUnwindSafe for ConditionEqual<L>
where L: RefUnwindSafe,

§

impl<L> Send for ConditionEqual<L>
where L: Send,

§

impl<L> Sync for ConditionEqual<L>
where L: Sync,

§

impl<L> Unpin for ConditionEqual<L>
where L: Unpin,

§

impl<L> UnwindSafe for ConditionEqual<L>
where L: UnwindSafe,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.