object
  val mutable next_id : int
  method create_child :
    CfLazyModelChecker.Make_Lazy_Model_Checker.node_kind ->
    CfLazyModelChecker.Make_Lazy_Model_Checker.marking ->
    CfLazyModelChecker.Make_Lazy_Model_Checker.edge ->
    (CfLazyModelChecker.Make_Lazy_Model_Checker.node_data,
     CfLazyModelChecker.Make_Lazy_Model_Checker.edge)
    CfLazyModelChecker.Make_Lazy_Model_Checker.Tree.node ->
    CfLazyModelChecker.Make_Lazy_Model_Checker.tree_node
  method create_root :
    CfLazyModelChecker.Make_Lazy_Model_Checker.marking ->
    CfLazyModelChecker.Make_Lazy_Model_Checker.tree_node
  method delete_children :
    CfLazyModelChecker.Make_Lazy_Model_Checker.tree_node -> unit
end