Replacing vrai/faux by english equivalents

OCamlPro · Mar 29, 2021 · 2393693 · 2393693
1 parent 7c6c742
commit 2393693
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 10 deletions.
diff --git a/src/lib/frontend/simple_reasoner_expr.ml b/src/lib/frontend/simple_reasoner_expr.ml
@@ -79,8 +79,8 @@ module type Dom = sig
   val top : state
   val bottom : state
 
-  val vrai : v
-  val faux : v
+  val _true : v
+  val _false : v
   val unknown : v
 
   (** (Partial) Compare function *)
@@ -155,8 +155,8 @@ module SimpleReasoner
 
   let identity v exp = {exp; diff = false; v = D.eval_expr exp v}
 
-  let simp_true = {exp = E.vrai; diff = true; v = D.vrai}
-  let simp_false = {exp = E.faux; diff = true; v = D.faux}
+  let simp_true = {exp = E.vrai; diff = true; v = D._true}
+  let simp_false = {exp = E.faux; diff = true; v = D._false}
 
   let is_true e = E.equal e.exp E.vrai
   let is_false e = E.equal e.exp E.faux

diff --git a/src/lib/frontend/simple_reasoner_expr.mli b/src/lib/frontend/simple_reasoner_expr.mli
@@ -38,8 +38,8 @@ module type Dom = sig
   val top : state
   val bottom : state
 
-  val vrai : v
-  val faux : v
+  val _true : v
+  val _false : v
   val unknown : v
 
   (** (Partial) Compare function *)

diff --git a/src/lib/reasoners/simplifiers.ml b/src/lib/reasoners/simplifiers.ml
@@ -44,8 +44,8 @@ module DummySimp =
       let add_constraint _ _ _ _ = SRE.NewConstraint ()
       let pp fmt _ = Format.fprintf fmt "()"
       let unknown = ()
-      let faux = ()
-      let vrai = ()
+      let _false = ()
+      let _true = ()
       let pp_v fmt _ = Format.fprintf fmt "()"
       let eval_expr _ _ = ()
       let v_join _ _ = ()
@@ -83,8 +83,8 @@ module IntervalsDomain :
   let top = Top
   let bottom = Bottom
 
-  let faux = Value (Intervals.point Q.zero Ty.Tbool Explanation.empty)
-  let vrai = Value (Intervals.point Q.one  Ty.Tbool Explanation.empty)
+  let _false = Value (Intervals.point Q.zero Ty.Tbool Explanation.empty)
+  let _true = Value (Intervals.point Q.one  Ty.Tbool Explanation.empty)
   let unknown = Top
 
   let pp_v = pp_abs_val Intervals.print