Struct ConstraintAnalysis 

pub struct ConstraintAnalysis;

Trait Implementations

impl Analysis<IKun> for ConstraintAnalysis

type Data = ConstraintSet

fn make(egraph: &EGraph<IKun, Self>, enode: &IKun) -> Self::Data

fn merge(&mut self, to: &mut Self::Data, from: Self::Data) -> bool

fn is_compatible(&self, data1: &Self::Data, data2: &Self::Data) -> bool

fn on_add(&self, _data: &mut Self::Data, _loc: Loc)

impl Clone for ConstraintAnalysis

fn clone(&self) -> ConstraintAnalysis

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConstraintAnalysis

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

Formats the value using the given formatter.

impl Default for ConstraintAnalysis

fn default() -> ConstraintAnalysis

Returns the “default value” for a type.