MR_SymmBreak.hh File Reference

#include "sgm/Match_Reporter.hh"
#include "sgm/Pattern_Automorphism.hh"

Include dependency graph for MR_SymmBreak.hh:

Go to the source code of this file.

Data Structures
class	sgm::MR_SymmBreak
	Symmetry breaking among matches. More...

Namespaces
namespace	sgm