symmetry.h File Reference

#include <carl-arith/core/Variable.h>
#include <vector>

Include dependency graph for symmetry.h:

Go to the source code of this file.

Namespaces
	carl
	carl is the main namespace for the library.
	carl::formula

Typedefs
using	carl::formula::Symmetry = std::vector< std::pair< Variable, Variable > >
	A symmetry represents a bijection on a set of variables. More...
using	carl::formula::Symmetries = std::vector< Symmetry >
	Represents a list of symmetries. More...

Functions
template<typename Poly >
Symmetries	carl::formula::findSymmetries (const Formula< Poly > &f)
template<typename Poly >
Formula< Poly >	carl::formula::breakSymmetries (const Symmetries &symmetries, bool onlyFirst=true)
template<typename Poly >
Formula< Poly >	carl::formula::breakSymmetries (const Formula< Poly > &f, bool onlyFirst=true)