From 27c48d494317f25fe3e06b555035ab6fe9dae1e9 Mon Sep 17 00:00:00 2001
From: Luca Mondada <luca@mondada.net>
Date: Tue, 26 Sep 2023 19:19:23 +0200
Subject: [PATCH] Expose DefaultTasoOptimiser

---
 src/optimiser.rs      | 2 +-
 src/optimiser/taso.rs | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/optimiser.rs b/src/optimiser.rs
index 711caab6..2c86ee0f 100644
--- a/src/optimiser.rs
+++ b/src/optimiser.rs
@@ -3,4 +3,4 @@
 //! Currently, the only optimiser is TASO
 
 pub mod taso;
-pub use taso::TasoOptimiser;
+pub use taso::{DefaultTasoOptimiser, TasoOptimiser};
diff --git a/src/optimiser/taso.rs b/src/optimiser/taso.rs
index 899783c9..2c7f4982 100644
--- a/src/optimiser/taso.rs
+++ b/src/optimiser/taso.rs
@@ -303,6 +303,7 @@ mod taso_default {
 
     use super::*;
 
+    /// The default TASO optimiser using ECC sets.
     pub type DefaultTasoOptimiser = TasoOptimiser<
         ECCRewriter,
         ExhaustiveRewriteStrategy<fn(&OpType) -> bool>,
@@ -326,3 +327,5 @@ mod taso_default {
             .count()
     }
 }
+#[cfg(feature = "portmatching")]
+pub use taso_default::DefaultTasoOptimiser;