Public instance methods
	
		
			void add_continue_node(object ast_node, ValueTuple<object> section_id, ValueTuple<ValueTuple<object>, object> guards)
		
		
		
	 
	
		
			void add_continue_node(object ast_node, ValueTuple<object> section_id, IEnumerable<object> guards)
		
		
		
	 
	
		
			object add_continue_node_dyn(object ast_node, object section_id, object guards)
		
		
		
	 
	
		
			void add_error_node(object ast_node, ValueTuple<ValueTuple<object>, object> guards)
		
		
		
	 
	
		
			void add_error_node(object ast_node, IEnumerable<object> guards)
		
		
		
	 
	
		
			object add_error_node_dyn(object ast_node, object guards)
		
		
		
	 
	
		
			void add_exit_node(object ast_node, ValueTuple<object> section_id, ValueTuple<ValueTuple<object>, object> guards)
		
		
		
	 
	
		
			void add_exit_node(object ast_node, ValueTuple<object> section_id, IEnumerable<object> guards)
		
		
		
	 
	
		
			object add_exit_node_dyn(object ast_node, object section_id, object guards)
		
		
		
	 
	
		
			object add_ordinary_node_dyn(object ast_node)
		
		
		
	 
	
		
			object begin_statement_dyn(object stmt)
		
		
		
	 
	
		
			object end_statement_dyn(object stmt)
		
		
		
	 
	
		
			object enter_cond_section_dyn(object section_id)
		
		
		
	 
	
		
			void enter_finally_section(object section_id)
		
		
		
	 
	
		
			object enter_finally_section_dyn(object section_id)
		
		
		
	 
	
		
			object enter_loop_section_dyn(object section_id, object entry_node)
		
		
		
	 
	
		
			object enter_section_dyn(object section_id)
		
		
		
	 
	
		
			void exit_cond_section(object section_id)
		
		
		
	 
	
		
			object exit_cond_section_dyn(object section_id)
		
		
		
	 
	
		
			void exit_finally_section(object section_id)
		
		
		
	 
	
		
			object exit_finally_section_dyn(object section_id)
		
		
		
	 
	
		
			object exit_loop_section_dyn(object section_id)
		
		
		
	 
	
		
			object exit_section_dyn(object section_id)
		
		
		
	 
	
		
			void new_cond_branch(object section_id)
		
		
		
	 
	
		
			object new_cond_branch_dyn(object section_id)
		
		
		
	 
	
	
	Public properties
	
		
			ISet<object> active_stmts get; set;
		
		
		
	 
	
		
			IDictionary<object, object> cond_entry get; set;
		
		
		
	 
	
		
			IDictionary<object, IList<object>> cond_leaves get; set;
		
		
		
	 
	
		
			IDictionary<object, ISet<object>> continues get; set;
		
		
		
	 
	
		
			ISet<object> errors get; set;
		
		
		
	 
	
		
			IDictionary<object, ISet<object>> exits get; set;
		
		
		
	 
	
		
			IDictionary<object, bool> finally_section_has_direct_flow get; set;
		
		
		
	 
	
		
			IDictionary<object, IList<object>> finally_section_subgraphs get; set;
		
		
		
	 
	
		
			IDictionary<Node, object> finally_sections get; set;
		
		
		
	 
	
		
			ISet<object> forward_edges get; set;
		
		
		
	 
	
	
	
		
			IDictionary<object, Node> node_index get; set;
		
		
		
	 
	
		
			IDictionary<Node, IReadOnlyCollection<object>> owners get; set;
		
		
		
	 
	
	
		
			ISet<object> pending_finally_sections get; set;
		
		
		
	 
	
	
		
			IDictionary<object, Node> section_entry get; set;