find_graph_symmetries.cc File Reference

Go to the source code of this file.

Namespaces
	operations_research
	Collection of objects used to extend the Constraint Solver library.

Functions
	ABSL_FLAG (bool, minimize_permutation_support_size, false, "Tweak the algorithm to try and minimize the support size" " of the generators produced. This may negatively impact the" " performance, but works great on the sat_holeXXX benchmarks" " to reduce the support size.")
std::vector< int >	CountTriangles (const ::util::StaticGraph< int, int > &graph, int max_degree)
void	LocalBfs (const ::util::StaticGraph< int, int > &graph, int source, int stop_after_num_nodes, std::vector< int > *visited, std::vector< int > *num_within_radius, std::vector< bool > *tmp_mask)

Function Documentation

ABSL_FLAG()

ABSL_FLAG	(	bool	,
		minimize_permutation_support_size	,
		false	,
		"Tweak the algorithm to try and minimize the support size" " of the generators produced. This may negatively impact the" "	performance,
		but works great on the sat_holeXXX benchmarks" " to reduce the support size."
	)