Index

Symbols

--args [arg]... graph-canon-run command line option --debug graph-canon command line option graph-canon-bliss command line option graph-canon-dreadnaut command line option graph-canon-run command line option --dest <path> download-graph-collections command line option --dimacs <filname> graph-canon command line option --directed graph-canon command line option --edge-label-max graph-canon command line option --edge-labels <mode> graph-canon command line option --exe [executable] graph-canon-run command line option --faut-implicit graph-canon command line option --faut-pruner <alg> graph-canon command line option --fdegree-1 graph-canon command line option --file <file> dimacs command line option --fno-aut-implicit graph-canon command line option --fno-degree-1 graph-canon command line option --fno-partial-leaf graph-canon command line option --fno-quotient graph-canon command line option --fno-trace graph-canon command line option --force download-graph-collections command line option --fpartial-leaf graph-canon command line option --fquotient graph-canon command line option --frefine <alg> graph-canon command line option --ftarget-cell <alg> graph-canon command line option --ftrace graph-canon command line option --ftree-traversal <alg> graph-canon command line option --gall graph-canon command line option --gaut graph-canon command line option --gcanon graph-canon command line option --gcompressed graph-canon command line option --get-instance-size [package] [collection] [instance] graph-canon-run command line option --graph-dot <filename> graph-canon command line option --grefine graph-canon command line option --gtree graph-canon command line option --help dimacs command line option graph-canon command line option --id <string> graph-canon command line option graph-canon-bliss command line option graph-canon-dreadnaut command line option --json <filename> graph-canon command line option --last graph-canon command line option --list-collections graph-canon-run command line option --list-instances [package|collection]... graph-canon-run command line option

--loops graph-canon command line option --memcheck graph-canon command line option graph-canon-bliss command line option graph-canon-dreadnaut command line option graph-canon-run command line option --memory <MB> graph-canon command line option --mode <mode> graph-canon command line option graph-canon-dreadnaut command line option --parallel-edges graph-canon command line option --permutations <int> graph-canon-bliss command line option graph-canon-dreadnaut command line option --permutations <num> graph-canon command line option --permute dimacs command line option --postHeader <string> graph-canon command line option --postId <string> graph-canon command line option --profile graph-canon command line option graph-canon-run command line option --seed <seed> dimacs command line option graph-canon command line option --stats graph-canon command line option --time <s> graph-canon command line option --timeout [seconds] graph-canon-run command line option --tree-dot <filename> graph-canon command line option --vertex-label-max graph-canon command line option --vertex-labels <mode> graph-canon command line option --vgArgs <arg> graph-canon-bliss command line option graph-canon-dreadnaut command line option -d graph-canon command line option -e [executable] graph-canon-run command line option -f download-graph-collections command line option -f <file> dimacs command line option graph-canon-bliss command line option graph-canon-dreadnaut command line option -f <filename> graph-canon command line option -g graph-canon command line option -h dimacs command line option graph-canon command line option graph-canon-bliss command line option graph-canon-dreadnaut command line option -m <MB> graph-canon command line option -p <int> graph-canon-bliss command line option graph-canon-dreadnaut command line option -p <num> graph-canon command line option -s <seed> dimacs command line option graph-canon command line option -t <s> graph-canon command line option -t [seconds] graph-canon-run command line option [task]... graph-canon-run command line option

A

always_false (C++ class) always_false::operator() (C++ function) always_true (C++ class) always_true::operator() (C++ function) as_range (C++ function) aut_implicit_size_2 (C++ class) aut_implicit_size_2::tag (C++ member) aut_pruner_base (C++ class)

aut_pruner_basic (C++ class) aut_pruner_basic::result_t (C++ type) aut_pruner_schreier (C++ class) aut_pruner_schreier::result_t (C++ type) aut_range (C++ class) aut_range::aut_range (C++ function) aut_range::begin (C++ function) aut_range::end (C++ function)

C

canon_state (C++ class) canon_state::data (C++ member) canon_state::Edge (C++ type) canon_state::edge_handler (C++ member) canon_state::EHandler (C++ type) canon_state::g (C++ member) canon_state::get_canon_leaf (C++ function) canon_state::Graph (C++ type) canon_state::idx (C++ member) canon_state::IndexMap (C++ type) canon_state::InstanceData (C++ type) canon_state::Loops (C++ member) canon_state::n (C++ member) canon_state::OwnerPtr (C++ type) canon_state::ParallelEdges (C++ member) canon_state::Partition (C++ type) canon_state::Perm (C++ type) canon_state::prune_canon_leaf (C++ function) canon_state::report_leaf (C++ function) canon_state::root (C++ member) canon_state::SizeType (C++ type)

canon_state::TreeNode (C++ type) canon_state::Vertex (C++ type) canon_state::Vis (C++ type) canon_state::visitor (C++ member) canonicalize (C++ function), [1], [2] canonicalizer (C++ class) canonicalizer::canonicalizer (C++ function) canonicalizer::EdgeHandler (C++ type) canonicalizer::operator() (C++ function) compound_visitor (C++ class) config (C++ class) config::Edge (C++ type) config::EdgeHandler (C++ type) config::Graph (C++ type) config::IndexMap (C++ type) config::Loops (C++ member) config::ParallelEdges (C++ member) config::Partition (C++ type) config::SizeType (C++ type) config::Vertex (C++ type) counting_sorter (C++ class) counting_sorter::operator() (C++ function)

D

debug_visitor (C++ class) debug_visitor::debug_visitor (C++ function) dimacs command line option --file <file> --help --permute --seed <seed> -f <file> -h -s <seed>

download-graph-collections command line option --dest <path> --force -f

E

edge_handler_all_equal (C++ class) edge_handler_all_equal_impl (C++ class) EdgeHandler (C++ concept)

EdgeHandlerCreator (C++ concept) environment variable GRAPH_CANON_DATA_DIR

G

get (C++ function), [1] graph-canon command line option --debug --dimacs <filname> --directed --edge-label-max --edge-labels <mode> --faut-implicit --faut-pruner <alg> --fdegree-1 --fno-aut-implicit --fno-degree-1 --fno-partial-leaf --fno-quotient --fno-trace --fpartial-leaf --fquotient --frefine <alg> --ftarget-cell <alg> --ftrace --ftree-traversal <alg> --gall --gaut --gcanon --gcompressed --graph-dot <filename> --grefine --gtree --help --id <string> --json <filename> --last --loops --memcheck --memory <MB> --mode <mode> --parallel-edges --permutations <num> --postHeader <string> --postId <string> --profile --seed <seed> --stats --time <s> --tree-dot <filename> --vertex-label-max --vertex-labels <mode> -d -f <filename> -g -h -m <MB> -p <num> -s <seed> -t <s>

graph-canon-bliss command line option --debug --id <string> --memcheck --permutations <int> --vgArgs <arg> -f <file> -h -p <int> graph-canon-dreadnaut command line option --debug --id <string> --memcheck --mode <mode> --permutations <int> --vgArgs <arg> -f <file> -h -p <int> graph-canon-run command line option --args [arg]... --debug --exe [executable] --get-instance-size [package] [collection] [instance] --list-collections --list-instances [package|collection]... --memcheck --profile --timeout [seconds] -e [executable] -t [seconds] [task]... graph_compare_null_visitor (C++ class) graph_compare_null_visitor::at_edge_compare (C++ function) graph_compare_null_visitor::at_num_vertices (C++ function) graph_compare_null_visitor::at_out_degree (C++ function) graph_compare_null_visitor::at_out_edge (C++ function) graph_compare_null_visitor::at_vertex_compare (C++ function)

I

invariant_cell_split (C++ class) invariant_coordinator (C++ class) invariant_coordinator::add_invariant_element (C++ function) invariant_coordinator::better_invariant (C++ function)

invariant_coordinator::init_visitor (C++ function) invariant_coordinator::worse_invariant (C++ function) invariant_partial_leaf (C++ class) invariant_quotient (C++ class)

M

make_aut_range (C++ function) make_default_visitor (C++ function)

make_ordered_graph (C++ function) make_property_less (C++ function) make_visitor (C++ function)

N

no_instance_data (C++ class) no_instance_data::InstanceData (C++ class) no_instance_data::InstanceData::type (C++ type) no_result (C++ class)

no_result::extract_result (C++ function) no_tree_node_data (C++ class) no_tree_node_data::TreeNodeData (C++ class) no_tree_node_data::TreeNodeData::type (C++ type) null_visitor (C++ class)

O

ordered_graph (C++ class) ordered_graph::get_graph (C++ function) ordered_graph::get_index_map (C++ function) ordered_graph::Graph (C++ type)

ordered_graph::IndexMap (C++ type) ordered_graph::ordered_graph (C++ function) ordered_graph_equal (C++ function) ordered_graph_less (C++ function)

P

partition_range (C++ function) permute_graph (C++ function) property_less (C++ class)

property_less::operator() (C++ function) property_less::prop (C++ member) property_less::property_less (C++ function)

R

range (C++ class) read_dimacs_graph (C++ function) refine_degree_1 (C++ class) refine_degree_1::aut_tag_cycle (C++ member) refine_degree_1::aut_tag_swap (C++ member) refine_degree_1::split_type_cell (C++ member) refine_WL_1 (C++ class)

refine_WL_1::refine_new_cell_type (C++ member) RefinementResult (C++ enum) RefinementResult::Abort (C++ enumerator) RefinementResult::Again (C++ enumerator) RefinementResult::Changed (C++ enumerator) RefinementResult::Never (C++ enumerator) RefinementResult::Unchanged (C++ enumerator)

S

stats_visitor (C++ class) stats_visitor::result_t (C++ class)

stats_visitor::ResultData (C++ class) stats_visitor::ResultData::operator<< (C++ function) stats_visitor::stats_visitor (C++ function)

T

tagged_element (C++ class) tagged_element::Tag (C++ type) tagged_element::value (C++ member) tagged_list (C++ class) target_cell_f (C++ class)

target_cell_fl (C++ class) target_cell_flm (C++ class) traversal_bfs_exp (C++ class) traversal_bfs_exp_m (C++ class) traversal_bfs_exp_m::traversal_bfs_exp_m (C++ function) traversal_dfs (C++ class)

V

Visitor (C++ concept)

W

wrapped_perm (C++ class) wrapped_perm::get_moved_points (C++ function)

wrapped_perm::get_perm (C++ function) write_dimacs_graph (C++ function)