From 23936935fb86d9ab2b5854ab37ea2250cf94f317 Mon Sep 17 00:00:00 2001 From: Steven de Oliveira Date: Mon, 29 Mar 2021 09:56:34 +0200 Subject: [PATCH] Replacing vrai/faux by english equivalents --- src/lib/frontend/simple_reasoner_expr.ml | 8 ++++---- src/lib/frontend/simple_reasoner_expr.mli | 4 ++-- src/lib/reasoners/simplifiers.ml | 8 ++++---- 3 files changed, 10 insertions(+), 10 deletions(-) diff --git a/src/lib/frontend/simple_reasoner_expr.ml b/src/lib/frontend/simple_reasoner_expr.ml index 78e2ca1b45..93d2929a48 100644 --- 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 index 30e6423f14..c589a3b3da 100644 --- 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 index 8859fb5b7f..4b05b43d5c 100644 --- 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