package rfsm

  1. Overview
  2. Docs

Source file stimuli.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
(**********************************************************************)
(*                                                                    *)
(*              This file is part of the RFSM package                 *)
(*                                                                    *)
(*  Copyright (c) 2018-present, Jocelyn SEROT.  All rights reserved.  *)
(*                                                                    *)
(*  This source code is licensed under the license found in the       *)
(*  LICENSE file in the root directory of this source tree.           *)
(*                                                                    *)
(**********************************************************************)

open Utils
   
type event = Types.date * Expr.value (* date, value ([Val_none] for pure events) *)

type stimuli = Types.date * (Ident.t * Expr.value) list  (* date, [name1,val1; ...; nameN,valN] *)
             
(* Builders *)

let mk_event t =
  let open Expr in
  t, { v_desc = Val_none; v_typ = Types.TyEvent }
  
let mk_spor_event ts = List.map mk_event ts

let mk_per_event per t1 t2 =
  let rec h t =
    if t <= t2
    then mk_event t :: h (t+per)
    else [] in
  h t1

let mk_val_changes chgs = List.map (function (t,v) -> t, v) chgs

let mk_stimuli id (t,v) = t, [Ident.Global id, v]
                                
let merge_stimuli (lss: stimuli list list) =
  let merge (l1: stimuli list) (l2: stimuli list) = 
    let rec h l1 l2 = match l1, l2 with
        [], [] -> []
      | l1, [] -> l1
      | [], l2 -> l2
      | (t1,evs1)::ss1, (t2,evs2)::ss2 ->
         if t1=t2 then (t1,evs1@evs2) :: h ss1 ss2
         else if t1<t2 then (t1,evs1) :: h ss1 l2
         else (t2,evs2) :: h l1 ss2 in
    h l1 l2 in
  match lss with
    [] -> invalid_arg "Stimuli.merge_events"
  | l::ls -> List.fold_left merge l ls

let events_of sd = match sd with
    | Global.Periodic (per,t1,t2) -> mk_per_event per t1 t2
    | Global.Sporadic ts -> mk_spor_event ts
    | Global.ValueChange vs -> mk_val_changes vs 

(* Printing *)

let string_of_event (t,v) = match v.Expr.v_desc with
  Expr.Val_none -> string_of_int t
| _ -> string_of_int t ^ ":" ^ Expr.string_of_value v

let string_of_events evs = ListExt.to_string string_of_event "," evs
                         
let string_of_stimuli (t,evs) =
  let string_of_ev (id,v) = match v.Expr.v_desc with
    | Expr.Val_none -> Ident.to_string id
    | _ -> Ident.to_string id ^ "=" ^ Expr.string_of_value v in
  "t=" ^ string_of_int t ^ ": " ^ ListExt.to_string string_of_ev " " evs