Struct FunctionSort

pub struct FunctionSort { /* private fields */ }

Implementations

impl FunctionSort

pub fn name(&self) -> &str

pub fn inputs(&self) -> &[ArcSort]

pub fn output(&self) -> ArcSort

Trait Implementations

impl Debug for FunctionSort

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

Formats the value using the given formatter.

impl Presort for FunctionSort

fn presort_name() -> &'static str

fn reserved_primitives() -> Vec<&'static str>

fn make_sort( typeinfo: &mut TypeInfo, name: String, args: &[Expr], ) -> Result<ArcSort, TypeError>

impl Sort for FunctionSort

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_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_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 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 value_type(&self) -> Option<TypeId>

Return the type id of values that this sort represents.

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 is_eq_sort(&self) -> bool

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

Reconstruct a leaf primitive value in a TermDag