Commit 06336c3a authored by Simon Prucker's avatar Simon Prucker
Browse files

Satchecking not necessary

parent 8a8d485f
Pipeline #15546 waiting for manual action with stages
in 27 seconds
......@@ -115,4 +115,17 @@ let parseStringToEFModel input =
in
(worlds, effFunction, valuation)
(* ([], (H.create 10), (H.create 10)) *)
\ No newline at end of file
(*
Satchecking using Effectivity Frames is not necessary yet
let satCheckInit formula =
let rec satCheckRec state model formulae =
match formulae with
| [] -> (true, None)
| x::xs ->
match x with
| CF.ENFORCES
*)
\ No newline at end of file
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