Lahenda constraint praktikumis

Author: sim642

src/constraint/abseval/constraint_abseval.ml

@@ -14,7 +14,11 @@ struct
       Vihje: Abseval.eval_expr.
       Vihje: Abseval.eval_guard. *)
   let eval_edge (env: ED.t) (edge: Cfg.Edge.t): ED.t =
-    failwith "TODO"
+    match edge with
+    | Nop -> env
+    | Error -> if ED.leq env ED.bot then ED.bot else failwith "eval_edge: Error"
+    | Assign (x, e) -> ED.add x (eval_expr env e) env
+    | Guard (c, b) -> eval_guard env c b
 
 
   (** Võrrandisüsteem juhtvoograafiga defineeritud programmi jaoks. *)
@@ -36,6 +40,16 @@ struct
         Vihje: Cfg.pred.
         Vihje: eval_edge. *)
     let f (node: V.t) (get: V.t -> D.t): D.t =
-      failwith "TODO"
+      let initial_env =
+        if V.equal node cfg.entry then
+          entry_env
+        else
+          D.bot
+      in
+      Cfg.pred cfg node
+      |> List.map (fun (edge, pred_node) ->
+          eval_edge (get pred_node) edge
+        )
+      |> List.fold_left D.join initial_env
   end
 end

src/constraint/grammar/constraint_grammar.ml

@@ -35,7 +35,9 @@ struct
     (** Nullable võrrandite paremad pooled.
         Järgi täpselt grammatikat ja ära ise lihtsusta! *)
     let f (nt: V.t) (get: V.t -> D.t): D.t =
-      failwith "TODO"
+      match nt with
+      | T -> get R || (false && get T && false)
+      | R -> true || (false && get R)
   end
 
   (** FIRST võrrandisüsteem. *)
@@ -53,7 +55,9 @@ struct
         Vihje: D.singleton.
         Vihje: D.join. *)
     let f (nt: V.t) (get: V.t -> D.t): D.t =
-      failwith "TODO"
+      match nt with
+      | T -> D.join (get R) (D.singleton 'a')
+      | R -> D.join D.empty (D.singleton 'b')
   end
 
   (** FOLLOW jaoks saaks samuti võrrandisüsteemi moodustada,
@@ -85,7 +89,9 @@ struct
     (** Nullable võrrandite paremad pooled.
         Järgi täpselt grammatikat ja ära ise lihtsusta! *)
     let f (nt: V.t) (get: V.t -> D.t): D.t =
-      failwith "TODO"
+      match nt with
+      | A -> (get B && get A && false) || true
+      | B -> (false && get B && false) || (get A && get A)
   end
 
   module FirstSys =
@@ -99,7 +105,9 @@ struct
         Võid eeldada Nullable lahendit.
         Järgi täpselt grammatikat ja ära ise lihtsusta! *)
     let f (nt: V.t) (get: V.t -> D.t): D.t =
-      failwith "TODO"
+      match nt with
+      | A -> D.join (D.join (get B) (D.join (get A) (D.singleton 'a'))) D.empty
+      | B -> D.join (D.singleton 'b') (D.join (get A) (get A))
   end
 end