Rule refactoring terminated

aclai-lab · Oct 25, 2024 · 374e12b · 374e12b
1 parent 6eb45f4
commit 374e12b
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/utils/base.jl b/src/utils/base.jl
@@ -348,6 +348,8 @@ end
 
 # Helper: slice a Rule's antecedent
 # TODO remove?
+# from michi and mauro, 25/10/24:
+# currently this is not covered by tests here, but could be used in SolePostHoc.jl
 function Base.getindex(
     m::Rule{O},
     idxs::AbstractVector,
@@ -357,7 +359,8 @@ function Base.getindex(
     Rule{O}(typeof(a)(children(a)[idxs]), consequent(m))
 end
 
-
+############################################################################################
+###################################### Branch ##############################################
 ############################################################################################
 
 """