grew_rule.mli

open Grew_utils
open Grew_graph
open Grew_command
open Grew_edge
open Grew_fs
open Grew_ast

module Instance : sig
  type t = {
      graph: G_graph.t;
      commands: Command.h list;
      rules: string list;
      big_step: Grew_types.big_step option; 
    }
        
  val empty:t

  val build: Ast.gr -> t	

  val of_conll: Conll.line list -> t

  (* rev_steps reverse the small step list: during rewriting, the last rule is in the head of the list and the reverse is needed for display *) 
  val rev_steps: t -> t

  val clear: t -> t 
  val from_graph: G_graph.t -> t
  val get_graph: t -> G_graph.t

IFDEF DEP2PICT THEN
  (* [save_dep_png base t] writes a file "base.png" with the dep representation of [t] *)
  val save_dep_png: ?main_feat: string -> string -> t -> unit
ENDIF
end

module Instance_set : Set.S with type elt = Instance.t

module Rule : sig
  type t

  val get_name: t -> string

  (** [get_loc t] returns the file location of the rule definition *)
  val get_loc: t -> Loc.t

  (** [build ?local dir ast_rule] returns the Rule.t value corresponding to [ast_rule].
      [dir] is used for localisation of lp files *)
  val build: ?locals:Label.decl array -> string -> Ast.rule -> t

  (* raise Stop if some command fails to apply *)
  val normalize: 
    ?confluent:bool -> 
    t list ->
    (Instance_set.elt -> bool) ->
    Instance.t ->
      Instance_set.t * Instance_set.t
end