Struct ConditionEqual 

pub struct ConditionEqual<L> { /* private fields */ }

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

impl<L: Language> ConditionEqual<L>

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

Create a new ConditionEqual condition given two patterns.

impl<L: FromOp> ConditionEqual<L>

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

Create a ConditionEqual by parsing two pattern strings.

This panics if the parsing fails.

Trait Implementations

impl<L: Clone> Clone for ConditionEqual<L>

fn clone(&self) -> ConditionEqual<L>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<L, N> Condition<L, N> for ConditionEqual<L>

where L: Language, N: Analysis<L>,

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

Check a condition.

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

Returns a list of variables that this Condition assumes are bound.

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

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

Formats the value using the given formatter.

impl<L: PartialEq> PartialEq for ConditionEqual<L>

fn eq(&self, other: &ConditionEqual<L>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<L: Eq> Eq for ConditionEqual<L>

impl<L> StructuralPartialEq for ConditionEqual<L>