Struct EqSort

pub struct EqSort {
    pub name: String,
}

Fields

name: String

Trait Implementations

impl Debug for EqSort

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

Formats the value using the given formatter.

impl Sort for EqSort

fn name(&self) -> &str

Returns the name of this sort.

fn column_ty(&self, _backend: &EGraph) -> ColumnTy

Returns the backend-specific column type. See ColumnTy.

fn register_type(&self, _backend: &mut EGraph)

fn as_arc_any(self: Arc<Self>) -> Arc<dyn Any + Send + Sync + 'static>

fn is_eq_sort(&self) -> bool

fn value_type(&self) -> Option<TypeId>

Return the type id of values that this sort represents.

fn inner_sorts(&self) -> Vec<ArcSort>

return the inner sorts if a container sort remember that containers can contain containers and this only unfolds one level

fn is_container_sort(&self) -> bool

fn is_eq_container_sort(&self) -> bool

fn serialized_name( &self, _container_values: &ContainerValues, _value: Value, ) -> String

Return the serialized name of the sort

fn inner_values( &self, container_values: &ContainerValues, value: Value, ) -> Vec<(ArcSort, Value)>

Return the inner values and sorts. Only container sort need to implement this method,

fn register_primitives(self: Arc<Self>, eg: &mut EGraph)

fn reconstruct_termdag_container( &self, container_values: &ContainerValues, value: Value, termdag: &mut TermDag, element_terms: Vec<Term>, ) -> Term

Reconstruct a container value in a TermDag

fn reconstruct_termdag_base( &self, base_values: &BaseValues, value: Value, termdag: &mut TermDag, ) -> Term

Reconstruct a leaf primitive value in a TermDag