dejavu
Fast probabilistic symmetry detection.
Loading...
Searching...
No Matches
dejavu::ir::controller Member List

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

basedejavu::ir::controller
base_vertexdejavu::ir::controller
cdejavu::ir::controller
certify(sgraph *g, groups::automorphism_workspace &automorphism)dejavu::ir::controllerinline
color_diff_automorphism_base(groups::automorphism_workspace *automorphism)dejavu::ir::controllerinline
compare_basedejavu::ir::controller
compare_base_vertexdejavu::ir::controller
compare_singletonsdejavu::ir::controller
compare_to_this()dejavu::ir::controllerinline
controller(refinement *ref, coloring *col)dejavu::ir::controllerinline
diff_num()dejavu::ir::controllerinline
diff_pair(const controller &state)dejavu::ir::controllerinline
get_base_pos() constdejavu::ir::controllerinline
get_coloring() constdejavu::ir::controllerinline
get_diff_diverge() constdejavu::ir::controllerinline
get_number_of_splits()dejavu::ir::controllerinline
leaf_colordejavu::ir::controller
link(controller *state)dejavu::ir::controllerinline
link_compare(controller *state)dejavu::ir::controllerinline
load_reduced_state(limited_save &state)dejavu::ir::controllerinline
load_reduced_state_without_coloring(limited_save &state)dejavu::ir::controllerinline
mode_compare_base()dejavu::ir::controllerinline
mode_write_base()dejavu::ir::controllerinline
move_to_child(sgraph *g, int v)dejavu::ir::controllerinline
move_to_child_no_trace(sgraph *g, int v)dejavu::ir::controllerinline
move_to_parent()dejavu::ir::controllerinline
prev_color_listdejavu::ir::controller
refine(sgraph *g)dejavu::ir::controllerinline
reserve()dejavu::ir::controllerinline
reset_diff()dejavu::ir::controllerinline
reset_trace_equal()dejavu::ir::controllerinline
s_base_posdejavu::ir::controller
save_reduced_state(limited_save &state)dejavu::ir::controllerinline
set_increase_deviation(int deviation_inc=48)dejavu::ir::controllerinline
singleton_automorphism(controller &state, groups::automorphism_workspace &automorphism)dejavu::ir::controllerinline
singleton_automorphism_base(groups::automorphism_workspace *automorphism)dejavu::ir::controllerinline
singletonsdejavu::ir::controller
Tdejavu::ir::controller
there_is_difference_to_base()dejavu::ir::controllerinline
there_is_difference_to_base_including_singles(int domain_size)dejavu::ir::controllerinline
touched_colordejavu::ir::controller
touched_color_listdejavu::ir::controller
update_diff_vertices_last_individualization(const controller &other_state)dejavu::ir::controllerinline
use_increase_deviation(bool deviation_inc_active)dejavu::ir::controllerinline
use_reversible(const bool reversible)dejavu::ir::controllerinline
use_split_limit(bool use_split_limit, int limit=0)dejavu::ir::controllerinline
use_trace_early_out(bool trace_early_out)dejavu::ir::controllerinline
walk(sgraph *g, ir::limited_save &start_from, std::vector< int > &vertices)dejavu::ir::controllerinline
write_strong_invariant(const sgraph *g) constdejavu::ir::controllerinline
write_strong_invariant_quarter(const sgraph *g) constdejavu::ir::controllerinline
write_to_trace(const int d) constdejavu::ir::controllerinline