Here is a list of all variables with links to the classes they belong to:

• graph : lean_graph::DiGraph< NodeType, Cost, CounterType, H >
• node_counter : lean_graph::DiGraph< NodeType, Cost, CounterType, H >
• num_edge : lean_graph::DiGraph< NodeType, Cost, CounterType, H >
• num_node : lean_graph::DiGraph< NodeType, Cost, CounterType, H >