Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

src/clocks.mli
45 45
  | Carrier_extrusion of t * carrier_expr
46 46
  | Clock_extrusion of t * t
47 47

  
48
(* Nice pretty-printing. Simplifies expressions before printing them. Non-linear
49
   complexity. *)
48 50
val pp: Format.formatter -> t -> unit
51

  
49 52
val pp_suffix: Format.formatter -> t -> unit
50 53

  
51 54
val new_var: bool -> t
......
86 89

  
87 90
val equal: t -> t -> bool
88 91

  
92
(* Disjunction relation between variables based upon their static clocks. *)
93
val disjoint: t -> t -> bool
94

  
89 95
val const_of_carrier: carrier_expr -> ident
90 96

  
91 97
val pp_error: Format.formatter -> error -> unit

Also available in: Unified diff