Project

General

Profile

« Previous | Next » 

Revision 0406ab94

Added by LĂ©lio Brun 7 months ago

implement optimization on spec: IT WORKS

View differences:

src/spec_types.ml
22 22
  | Memory (StateVar v) ->
23 23
    v.var_type
24 24

  
25
type ('a, 'b) expressions_t = ('a, 'b) expression_t list
26

  
27 25
type 'a predicate_t =
28 26
  | Transition :
29 27
      ident (* node name *)
......
31 29
      (* instance *)
32 30
      * int option
33 31
      (* transition index *)
34
      * ('a, 'b) expressions_t
35
      (* inputs *)
36
      * ('a, 'b) expressions_t
37
      (* locals *)
38
      * ('a, 'b) expressions_t
39
      (* outputs *)
32
      * ('a, 'b) expression_t list
33
      (* variables *)
40 34
      * bool (* reset *)
41 35
      * Utils.ISet.t (* memory footprint *)
42 36
      * ident Utils.IMap.t
......
78 72
type 'a transition_t = {
79 73
  tname : node_desc;
80 74
  tindex : int option;
81
  tinputs : var_decl list;
82
  tlocals : var_decl list;
83
  toutputs : var_decl list;
75
  tvars : var_decl list;
84 76
  tformula : 'a formula_t;
85 77
  tmem_footprint : Utils.ISet.t;
86 78
  tinst_footprint : ident Utils.IMap.t;

Also available in: Unified diff