Commit f4ae4109 authored by bguillaum's avatar bguillaum

clean unused field "highest_index" in Instance.t

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/semagramme/libcaml-grew/trunk@8966 7838e531-6607-4d57-9587-6c381814729c
parent 066dcb37
......@@ -92,9 +92,6 @@ module G_graph: sig
val get_highest: t -> int
(** TODO REMOVE ??? *)
val max_binding: t -> int
(** [edge_out label_domain t id label_cst] returns true iff there is an out-edge from the node [id] with a label compatible with [label_cst] *)
val edge_out: Domain.t -> t -> Gid.t -> Label_cst.t -> bool
......
......@@ -32,16 +32,11 @@ module Instance = struct
history: Command.h list;
rules: string list;
big_step: Libgrew_types.big_step option;
highest_index: int;
}
let empty = {graph = G_graph.empty; rules=[]; history=[]; big_step=None; highest_index=0; }
let empty = {graph = G_graph.empty; rules=[]; history=[]; big_step=None; }
let from_graph graph =
{empty with
graph = graph;
highest_index = (G_graph.max_binding graph) + 1;
}
let from_graph graph = {empty with graph }
let rev_steps t =
{ t with big_step = match t.big_step with
......
......@@ -24,7 +24,6 @@ module Instance : sig
history: Command.h list;
rules: string list;
big_step: Libgrew_types.big_step option;
highest_index: int;
}
(** [from_graph graph] return a fresh instance based on the input [graph]. *)
......
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