Unverified Commit 29bdf1d5 authored by Merlin's avatar Merlin 💧
Browse files

Forgot to strip modality

parent ba7d8002
Pipeline #14777 waiting for manual action with stages
......@@ -575,7 +575,7 @@ let oneStepSat_MultiModalK (u: bset list) sv =
let (sort, v) = sv in
let boxes = bsetFilter v (fun lf -> (lfGetType sort lf) = AxF) in
let diamonds = bsetFilter v (fun lf -> (lfGetType sort lf) = ExF) in
let boxargsForRel rel = bsetFilter boxes (fun r -> (lfGetDest3 sort r) = rel) in
let boxargsForRel rel = bsetMap (lfGetDest1 sort) (bsetFilter boxes (fun r -> (lfGetDest3 sort r) = rel)) in
(*Make reduced U. Will be applied for each relation*)
let redU args = List.filter (fun bs -> bsetIsSubOrEqual args bs) u in
(*check if reducedU contains formula for every diamond per relation*)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment