Class CfLazyModelChecker.Make_Lazy_Model_Checker.tree_node_creator

class tree_node_creator : object  end

val mutable next_id : int

method create_root : marking ->
       tree_node

method create_child : node_kind ->
       marking ->
       edge ->
       (node_data,
        edge)
       Tree.node ->
       tree_node

method delete_children : tree_node -> unit