Commit 4060e5c6 authored by Maxime Folschette's avatar Maxime Folschette
Browse files

remove comments

parent c4d685c7
......@@ -90,30 +90,12 @@ end ;;
(*** Éléments structurels d'un BRN ***)
(*
module type BRN =
sig
type var ;;
type mult ;;
(** Fonctions utilitaires *)
val varlist : var list ;;
val varequals : var -> var -> bool ;;
val multcompare : mult -> mult -> int ;;
(** Conversion des noms en chaînes de caractères pour ASP *)
val asp_of_var : var -> string ;;
val asp_of_mult : mult -> string ;;
(** Conversion des noms en chaînes de caractères pour affichage *)
val string_of_var : var -> string ;;
val string_of_mult : mult -> string ;;
end ;;
*)
(**************************)
(*** Éléments du modèle ***)
(**************************)
(*
(** Exemple jouet *)
(*
module ToyExample =
struct
type var = A ;;
......@@ -175,8 +157,8 @@ struct
compare (asp_of_mult m1) (asp_of_mult m2) ;;
end ;;
(*
(** Phage lambda (depuis la thèse d'Adrien Richard) *)
(*
module PhageLambda =
struct
type var = CI | Cro | CII | N ;;
......@@ -226,8 +208,8 @@ struct
end ;;
*)
(*
(** Cycle circadien (depuis projet Circlock) *)
(*
module Circlock =
struct
type var = PERCRY | PER1 | PER2 | CRY1 | CRY2 | Clock | RevErbAlpha | BMAL1N | BMAL1C ;;
......@@ -314,7 +296,6 @@ module BRN = SimpleExample ;;
(*** Grammaire pour les formules de multiplexes ***)
(**************************************************)
module FOLmult =
(*functor (BRN : BRN) ->*) (* TODO: À fonctoriser *)
struct
open Operators ;;
......@@ -345,26 +326,12 @@ end ;;
(*****************************)
(*** Informations d'un BRN ***)
(*****************************)
(***************************)
(*** Informations du BRN ***)
(***************************)
(*TODO: trouver un moyen de mettre en œuvre une signature BRNinfo
(** Informations portées par le BRN *)
module type BRNinfo =
(*functor (BRN : BRN) ->*)
sig
include BRN ;;
val getbound : BRN.var -> int ;;
val getformula : BRN.mult -> FOLmult(BRN).multformula ;;
val getpredec : BRN.var -> BRN.mult list ;;
end ;;
*)
(*
(** Exemple jouet *)
(*
module ToyExampleInfo =
struct
open Operators ;;
......@@ -401,8 +368,8 @@ struct
| C -> [L] ;;
end ;;
(*
(** Phage lambda (depuis la thèse d'Adrien Richard) *)
(*
module PhageLambdaInfo =
struct
open Operators ;;
......@@ -431,8 +398,8 @@ struct
end ;;
*)
(*
(** Cycle circadien (depuis projet Circlock) *)
(*
module CirclockInfo =
struct
open Operators ;;
......@@ -482,7 +449,6 @@ module BRNinfo = SimpleExampleInfo ;;
(*** Grammaire pour les formules de la logique de Hoare ***)
(**********************************************************)
module FOL =
(*functor (BRN : BRN) ->*) (* TODO: À fonctoriser *)
struct
open Operators ;;
......@@ -538,19 +504,6 @@ struct
| FreshState(f) -> ("∀ state σ, " ^ (string_of_formula f)) ;;
(** Substitution d'une expression à une variable *)
(* (* Insuffisant : ne déconstruit pas une expression pour vérifier qu'elle contient l'expression à rechercher *)
let super_replace f e1 e2 =
let rec replace_expr ex re1 re2 =
if ex = re1 then re2 else ex in
let rec replace_formula tree re1 re2 =
match tree with
| PropConst(op) -> PropConst(op)
| PropUn(op, f) -> PropUn(op, replace_formula f re1 re2)
| PropBin(op, f1, f2) -> PropBin(op, replace_formula f1 re1 re2, replace_formula f2 re1 re2)
| Rel(op, e1, e2) -> Rel(op, replace_expr e1 re1 re2, replace_expr e2 re1 re2)
| FreshState(f) -> FreshState(f) in
replace_formula f e1 e2 ;;
*)
let replace f v e =
let rec replace_expr ex v' e' =
......@@ -567,9 +520,6 @@ struct
| Rel(op, e1, e2) -> Rel(op, replace_expr e1 v' e', replace_expr e2 v' e')
| FreshState(f) -> FreshState(f) in
replace_formula f v e ;;
(*
super_replace f (ExprVar(v)) e ;;
*)
(** Simplification d'une formule selon la valeur de certaines variables et certains paramètres *)
type assoc_option =
......@@ -684,11 +634,7 @@ end ;;
(*** Grammaire pour les programmes impératifs ***)
(************************************************)
module Prog =
(*functor (BRN : BRN) ->*) (* TODO: À fonctoriser *)
struct
(* module FOLmult = FOLmult(BRN) ;; *)
(* module FOL = FOL(BRN) ;;*)
(** Grammaire des programmes impératifs *)
type prog =
| Skip
......@@ -750,9 +696,7 @@ module WP :
sig
val wp : Prog.prog -> FOL.formula -> FOL.formula ;;
end =
(* functor (BRNinfo : BRNinfo) -> *) (* TODO: À fonctoriser *)
struct
(* module FOL = FOL(BRN) ;;*)
open List ;;
open Operators ;;
open FOL ;;
......@@ -1167,3 +1111,4 @@ print_endline "";;
print_endline (string_of_bool (ExprConst(2) = ExprConst(1+1))) ;;
*)
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