Commit a3e8999b authored by Bruno Guillaume's avatar Bruno Guillaume

Clean unused code (step 3)

parent 0b9fbfb8
This diff is collapsed.
......@@ -15,40 +15,6 @@ open Grew_domain
open Grew_graph
open Grew_rule
(* ================================================================================ *)
module Rewrite_history: sig
type t = {
instance: Instance.t;
module_name: string;
good_nf: t list;
}
val get_graphs: t -> G_graph.t list
val is_empty: t -> bool
val num_sol: t -> int
(** [save_gr base_name t] saves one gr_file for each normal form defined in [t].
Output files are named according to [base_name] and the Gorn adress in the rewriting tree. *)
val save_gr: string -> t -> unit
val save_conll: string -> t -> unit
(** [save_full_conll base_name t] saves one conll_file for each normal form defined in [t].
Output files are named according to [base_name] and a secondary index after "__".
The number of conll file produced is returned. *)
val save_full_conll: string -> t -> int
(** [save_det_gr base_name t] supposes that the current GRS is deterministic.
It writes exactly one output file named [base_name].gr with the unique normal form. *)
val save_det_gr: string -> t -> unit
val save_det_conll: ?header:string -> string -> t -> unit
val det_dep_string: t -> string option
val conll_dep_string: ?keep_empty_rh:bool -> t -> string option
end (* module Rewrite_history *)
(* ================================================================================ *)
module Grs : sig
......@@ -62,8 +28,6 @@ module Grs : sig
val domain: t -> Domain.t option
val domain_build: Ast.domain -> Domain.t
val simple_rewrite: t -> string -> G_graph.t -> G_graph.t list
val det_rew_display: t -> string -> G_graph.t -> Libgrew_types.rew_display
val get_strat_list: t -> string list
val at_least_one: t -> string -> bool
......
......@@ -155,7 +155,4 @@ module Rewrite: sig
val set_timeout: float option -> unit
val simple_rewrite: gr:Graph.t -> grs:Grs.t -> strat:string -> Graph.t list
end
Markdown is supported
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