From a3c183138847319b52291c448b7a72fe55ce5556 Mon Sep 17 00:00:00 2001
From: Julia <juliavonkreutzer@protonmail.com>
Date: Tue, 3 May 2022 23:13:54 +0200
Subject: [PATCH] can be compiled
---
ocaml/Resolution.ml | 17 +++++++++++------
1 file changed, 11 insertions(+), 6 deletions(-)
diff --git a/ocaml/Resolution.ml b/ocaml/Resolution.ml
index abe0509..a707fbb 100644
--- a/ocaml/Resolution.ml
+++ b/ocaml/Resolution.ml
@@ -206,15 +206,15 @@ let get_star const i =
(* Takes a constellation, a ray and a (ray,ray) list and extracts rays from stars number i (respectively j) that are not ri (respectively rj) when ri (respectively rj) isn't in the prob list *)
let star_filter const ((i, j),(ri,rj)) prob =
let (prob_a, prob_b) = List.split prob in
- (if List.mem ri prob_a then
- []
+ (if List.mem ri prob_a then []
else (List.filter (fun a -> a <> ri) (get_star const i))
)@(
- if List.mem rj prob_b then
- []
+ if List.mem rj prob_b then []
else (List.filter (fun a -> a <> rj) (get_star const j))
)
+(* TODO faire un filtre post application, const_filter*)
+
(* convert the (ray,ray) list part of a link to an equation, converting its rays to terms *)
let link_to_eq prob =
List.map (fun (ra, rb) -> (ray_to_term (inv_pol_ray ra)), ray_to_term rb) prob
@@ -251,6 +251,11 @@ let test = [ [Func("c", Neg, [x]); x] ; [Func("c", Pos, [Func("f", Npol, [y])])
print_dgraph (dgraph test);;
exec test ;;
-prob :
+(* TODO :
+faire un filtre post application, const_filter
+corriger la substitution qui ne fonctionne pas dans exec
+*)
+
+(* prob :
-let fgraph = List.flatten graph in
\ No newline at end of file
+let fgraph = List.flatten graph in *)
\ No newline at end of file