This is the complete list of members for event_grapht, including all inherited members.

add_com_edge(event_idt a, event_idt b)	event_grapht	inline
add_node()	event_grapht	inline
add_po_back_edge(event_idt a, event_idt b)	event_grapht	inline
add_po_edge(event_idt a, event_idt b)	event_grapht	inline
add_undirected_com_edge(event_idt a, event_idt b)	event_grapht	inline
are_po_ordered(event_idt a, event_idt b)	event_grapht	inline
clear()	event_grapht	inline
collect_cycles(std::set< critical_cyclet > &set_of_cycles, memory_modelt model, const std::set< event_idt > &filter)	event_grapht	inline
collect_cycles(std::set< critical_cyclet > &set_of_cycles, memory_modelt model)	event_grapht	inline
collect_pairs()	event_grapht	inline
collect_pairs_naive()	event_grapht	inline
com_graph	event_grapht	protected
com_in(event_idt n) const	event_grapht	inline
com_out(event_idt n) const	event_grapht	inline
copy_segment(event_idt begin, event_idt end)	event_grapht
duplicated_bodies	event_grapht
event_grapht(messaget &_message)	event_grapht	inlineexplicit
explore_copy_segment(std::set< event_idt > &explored, event_idt begin, event_idt end) const	event_grapht
filter_thin_air	event_grapht
filter_uniproc	event_grapht
has_com_edge(event_idt i, event_idt j) const	event_grapht	inline
has_po_edge(event_idt i, event_idt j) const	event_grapht	inline
ignore_arrays	event_grapht	protected
is_local(event_idt a)	event_grapht	inline
loops	event_grapht
map_data_dp	event_grapht
max_po_trans	event_grapht	protected
max_var	event_grapht	protected
message	event_grapht
operator[](event_idt n)	event_grapht	inline
po_graph	event_grapht	protected
po_in(event_idt n) const	event_grapht	inline
po_order	event_grapht
po_out(event_idt n) const	event_grapht	inline
poUrfe_order	event_grapht
print_graph()	event_grapht
print_rec_graph(std::ofstream &file, event_idt node_id, std::set< event_idt > &visited)	event_grapht
remove_com_edge(event_idt a, event_idt b)	event_grapht	inline
remove_edge(event_idt a, event_idt b)	event_grapht	inline
remove_po_edge(event_idt a, event_idt b)	event_grapht	inline
set_parameters_collection(unsigned _max_var=0, unsigned _max_po_trans=0, bool _ignore_arrays=false)	event_grapht	inline
size() const	event_grapht	inline