Commit 53b01430 authored by Maximilien Colange's avatar Maximilien Colange

Add a comment.

parent e39ffe45
...@@ -4,6 +4,7 @@ let modulo = 5000 ...@@ -4,6 +4,7 @@ let modulo = 5000
let states_seen = ref 0 let states_seen = ref 0
(* all states whose set of successors has been computed *) (* all states whose set of successors has been computed *)
(* also the number of states inserted in the passed list *)
let states_explored = ref 0 let states_explored = ref 0
(* max number of states in storage at once *) (* max number of states in storage at once *)
......
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