Fix and bump

aclai-lab · Dec 4, 2023 · b3f406b · b3f406b
1 parent 09dc95d
commit b3f406b
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 7 deletions.
diff --git a/Project.toml b/Project.toml
@@ -2,7 +2,7 @@ name = "SoleModels"
 uuid = "4249d9c7-3290-4ddd-961c-e1d3ec2467f8"
 license = "MIT"
 authors = ["Michele GHIOTTI", "Giovanni PAGLIARINI", "Eduard I. STAN"]
-version = "0.5.2"
+version = "0.5.3"
 
 [deps]
 AbstractTrees = "1520ce14-60c1-5f80-bbc7-55ef81b5835c"

diff --git a/src/models/evaluation.jl b/src/models/evaluation.jl
@@ -27,8 +27,6 @@ function readmetrics(m::LeafModel{L}; digits = 2) where {L<:Label}
         end
     elseif haskey(info(m), :supporting_labels)
         return (; ninstances = length(info(m).supporting_labels))
-    elseif haskey(info(consequent(m)), :supporting_labels)
-        return (; ninstances = length(info(m).supporting_labels))
     else
         return (;)
     end, (; coverage = 1.0))
@@ -70,11 +68,11 @@ See also
 [`checkantecedent`](@ref).
 """
 function evaluaterule(
-    rule::Rule{O,A,FM},
+    rule::Rule,
     X::AbstractInterpretationSet,
     Y::AbstractVector{<:Label};
     kwargs...,
-) where {O,A,FM<:AbstractModel}
+)
     #println("Evaluation rule in time...")
     ys = apply(rule,X)
     #if X isa SupportedLogiset
@@ -147,11 +145,11 @@ See also
 [`consequent`](@ref).
 """
 function rulemetrics(
-    rule::Rule{O,A,FM},
+    rule::Rule,
     X::AbstractInterpretationSet,
     Y::AbstractVector{<:Label};
     kwargs...,
-) where {O,A,FM<:AbstractModel}
+)
     eval_result = evaluaterule(rule, X, Y; kwargs...)
     ys = eval_result[:ys]
     antsat = eval_result[:antsat]