SymmetryFinder.h File Reference

#include <carl-common/config.h>
#include "../formula/Formula.h"
#include <bliss/graph.hh>
#include <map>

Include dependency graph for SymmetryFinder.h:

Go to the source code of this file.

Data Structures
class	carl::formula::symmetry::ColorGenerator< Number >
	Provides unique ids (colors) for all kinds of different objects in the formula: variable types, relations, formula types, numbers, special colors and indexes. More...
struct	carl::formula::symmetry::Permutation
class	carl::formula::symmetry::GraphBuilder< Poly >

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

Enumerations
enum class	carl::formula::symmetry::SpecialColors { carl::formula::symmetry::If , carl::formula::symmetry::Then , carl::formula::symmetry::Else , carl::formula::symmetry::VarExp }
	Special colors for structure nodes. More...

Functions
void	carl::formula::symmetry::addGenerator (void *p, const unsigned int n, const unsigned int *aut)