From 59b305425b55ee2e494a6e258999788e1293579b Mon Sep 17 00:00:00 2001
From: Martin Kocour <martinkocour1102@gmail.com>
Date: Fri, 31 Mar 2023 10:49:16 +0200
Subject: [PATCH] IntersectedAbstractFSA is not needed anymore

---
 src/dense_fsa.jl | 2 +-
 src/intersect.jl | 4 +---
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/dense_fsa.jl b/src/dense_fsa.jl
index 2fd712a..39efba1 100644
--- a/src/dense_fsa.jl
+++ b/src/dense_fsa.jl
@@ -38,7 +38,7 @@ end
 λ(G::DenseFSA) = repeat(G.Σ, size(G.H, 2) - 1)
 
 # Intersection with DenseFSA
-struct IntersectedDenseFSA{K, L, T<:AbstractFSA{K, L}} <: IntersectedAbstractFSA{K, L, DenseFSA{K, L}, T}
+struct IntersectedDenseFSA{K, L, T<:AbstractFSA{K, L}} <: AbstractAcyclicFSA{K, L}
     A::DenseFSA{K, L}
     B::T
     C::AbstractMatrix{K}  # of shape |Σ| x nstates(A)
diff --git a/src/intersect.jl b/src/intersect.jl
index 846d4ce..ee1e13b 100644
--- a/src/intersect.jl
+++ b/src/intersect.jl
@@ -1,6 +1,4 @@
-abstract type IntersectedAbstractFSA{K, L, T_A, T_B} <: AbstractFSA{K, L} end
-
-struct IntersectedFSA{K, L, T_A<:AbstractFSA{K,L}, T_B<:AbstractFSA{K,L}} <: IntersectedAbstractFSA{K,L,T_A,T_B}
+struct IntersectedFSA{K, L, T_A<:AbstractFSA{K,L}, T_B<:AbstractFSA{K,L}} <: AbstractFSA{K, L}
     A::T_A
     B::T_B
     M::AbstractMatrix{K}
-- 
GitLab