This is the complete list of members for dejavu::ir::controller, including all inherited members.

base	dejavu::ir::controller
base_vertex	dejavu::ir::controller
c	dejavu::ir::controller
certify(sgraph *g, groups::automorphism_workspace &automorphism)	dejavu::ir::controller	inline
color_diff_automorphism_base(groups::automorphism_workspace *automorphism)	dejavu::ir::controller	inline
compare_base	dejavu::ir::controller
compare_base_vertex	dejavu::ir::controller
compare_singletons	dejavu::ir::controller
compare_to_this()	dejavu::ir::controller	inline
controller(refinement ref, coloring col)	dejavu::ir::controller	inline
diff_num()	dejavu::ir::controller	inline
diff_pair(const controller &state)	dejavu::ir::controller	inline
get_base_pos() const	dejavu::ir::controller	inline
get_coloring() const	dejavu::ir::controller	inline
get_diff_diverge() const	dejavu::ir::controller	inline
get_number_of_splits()	dejavu::ir::controller	inline
leaf_color	dejavu::ir::controller
link(controller *state)	dejavu::ir::controller	inline
link_compare(controller *state)	dejavu::ir::controller	inline
load_reduced_state(limited_save &state)	dejavu::ir::controller	inline
load_reduced_state_without_coloring(limited_save &state)	dejavu::ir::controller	inline
mode_compare_base()	dejavu::ir::controller	inline
mode_write_base()	dejavu::ir::controller	inline
move_to_child(sgraph *g, int v)	dejavu::ir::controller	inline
move_to_child_no_trace(sgraph *g, int v)	dejavu::ir::controller	inline
move_to_parent()	dejavu::ir::controller	inline
prev_color_list	dejavu::ir::controller
refine(sgraph *g)	dejavu::ir::controller	inline
reserve()	dejavu::ir::controller	inline
reset_diff()	dejavu::ir::controller	inline
reset_trace_equal()	dejavu::ir::controller	inline
s_base_pos	dejavu::ir::controller
save_reduced_state(limited_save &state)	dejavu::ir::controller	inline
set_increase_deviation(int deviation_inc=48)	dejavu::ir::controller	inline
singleton_automorphism(controller &state, groups::automorphism_workspace &automorphism)	dejavu::ir::controller	inline
singleton_automorphism_base(groups::automorphism_workspace *automorphism)	dejavu::ir::controller	inline
singletons	dejavu::ir::controller
T	dejavu::ir::controller
there_is_difference_to_base()	dejavu::ir::controller	inline
there_is_difference_to_base_including_singles(int domain_size)	dejavu::ir::controller	inline
touched_color	dejavu::ir::controller
touched_color_list	dejavu::ir::controller
update_diff_vertices_last_individualization(const controller &other_state)	dejavu::ir::controller	inline
use_increase_deviation(bool deviation_inc_active)	dejavu::ir::controller	inline
use_reversible(const bool reversible)	dejavu::ir::controller	inline
use_split_limit(bool use_split_limit, int limit=0)	dejavu::ir::controller	inline
use_trace_early_out(bool trace_early_out)	dejavu::ir::controller	inline
walk(sgraph *g, ir::limited_save &start_from, std::vector< int > &vertices)	dejavu::ir::controller	inline
write_strong_invariant(const sgraph *g) const	dejavu::ir::controller	inline
write_strong_invariant_quarter(const sgraph *g) const	dejavu::ir::controller	inline
write_to_trace(const int d) const	dejavu::ir::controller	inline