grs.mli 677 Bytes
Newer Older
pj2m's avatar
pj2m committed
1
2
3
4
5
6
7
8
9
10
11
open Graph
open Rule

module Rewrite_history: sig
  type t = {
      instance: Instance.t;
      module_name: string; 
      good_nf: t list;
      bad_nf: Instance.t list;
    }

12
  val save_html: ?main_feat:string -> ?init_graph:bool -> ?header:string -> string -> t -> (string*string list) list
pj2m's avatar
pj2m committed
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
end


module Grs: sig
  type sequence = string * string list
  type t

  val empty:t
  
  val sequences: t -> sequence list

  val build: Ast.grs -> t

  val rewrite: t -> string -> Instance.t -> Rewrite_history.t

  (* only externeal strucutre is returned, each edge contains a "dummy" big_step *)
  val build_rew_display: t -> string -> Instance.t -> Grew_types.rew_display
end