Also cache names of other builtin sorts

egraphs-good · Oct 16, 2024 · 8ae1427 · 8ae1427
1 parent f04694a
commit 8ae1427
Show file tree

Hide file tree

Showing 5 changed files with 22 additions and 5 deletions.
diff --git a/src/sort/bool.rs b/src/sort/bool.rs
@@ -5,9 +5,13 @@ use super::*;
 #[derive(Debug)]
 pub struct BoolSort;
 
+lazy_static! {
+    static ref BOOL_SORT_NAME: Symbol = "bool".into();
+}
+
 impl Sort for BoolSort {
     fn name(&self) -> Symbol {
-        "bool".into()
+        *BOOL_SORT_NAME
     }
 
     fn as_arc_any(self: Arc<Self>) -> Arc<dyn Any + Send + Sync + 'static> {

diff --git a/src/sort/f64.rs b/src/sort/f64.rs
@@ -5,9 +5,13 @@ use ordered_float::OrderedFloat;
 #[derive(Debug)]
 pub struct F64Sort;
 
+lazy_static! {
+    static ref F64_SORT_NAME: Symbol = "f64".into();
+}
+
 impl Sort for F64Sort {
     fn name(&self) -> Symbol {
-        "f64".into()
+        *F64_SORT_NAME
     }
 
     fn as_arc_any(self: Arc<Self>) -> Arc<dyn Any + Send + Sync + 'static> {

diff --git a/src/sort/rational.rs b/src/sort/rational.rs
@@ -8,6 +8,7 @@ use crate::{ast::Literal, util::IndexSet};
 use super::*;
 
 lazy_static! {
+    static ref RATIONAL_SORT_NAME: Symbol = "Rational".into();
     static ref RATS: Mutex<IndexSet<R>> = Default::default();
 }
 
@@ -16,7 +17,7 @@ pub struct RationalSort;
 
 impl Sort for RationalSort {
     fn name(&self) -> Symbol {
-        "Rational".into()
+        *RATIONAL_SORT_NAME
     }
 
     fn as_arc_any(self: Arc<Self>) -> Arc<dyn Any + Send + Sync + 'static> {

diff --git a/src/sort/string.rs b/src/sort/string.rs
@@ -7,9 +7,13 @@ use super::*;
 #[derive(Debug)]
 pub struct StringSort;
 
+lazy_static! {
+    static ref STRING_SORT_NAME: Symbol = "String".into();
+}
+
 impl Sort for StringSort {
     fn name(&self) -> Symbol {
-        "String".into()
+        *STRING_SORT_NAME
     }
 
     fn as_arc_any(self: Arc<Self>) -> Arc<dyn Any + Send + Sync + 'static> {

diff --git a/src/sort/unit.rs b/src/sort/unit.rs
@@ -4,9 +4,13 @@ use crate::{ast::Literal, constraint::AllEqualTypeConstraint, ArcSort, Primitive
 #[derive(Debug)]
 pub struct UnitSort;
 
+lazy_static! {
+    static ref UNIT_SORT_NAME: Symbol = "Unit".into();
+}
+
 impl Sort for UnitSort {
     fn name(&self) -> Symbol {
-        "Unit".into()
+        *UNIT_SORT_NAME
     }
 
     fn as_arc_any(self: Arc<Self>) -> Arc<dyn Any + Send + Sync + 'static> {