carl::formula::symmetry::GraphBuilder< Poly > Class Template Reference

#include <SymmetryFinder.h>

Collaboration diagram for carl::formula::symmetry::GraphBuilder< Poly >:

Public Member Functions
	GraphBuilder (const Formula< Poly > &f)
Symmetries	symmetries ()

Private Types
using	Number = typename Poly::NumberType

Private Member Functions
void	gatherVariables (const Formula< Poly > &f)
unsigned	addTerm (const Term< Number > &t)
unsigned	addConstraint (const Constraint< Poly > &c)
unsigned	addFormula (const Formula< Poly > &f)

Private Attributes
bliss::Digraph	mGraph
ColorGenerator< Number >	mColor
std::map< carl::Variable, unsigned >	mVariableIDs
std::vector< carl::Variable >	mVariables

Detailed Description

template<typename Poly>
class carl::formula::symmetry::GraphBuilder< Poly >

Definition at line 78 of file SymmetryFinder.h.

Member Typedef Documentation

Number

template<typename Poly >

using carl::formula::symmetry::GraphBuilder< Poly >::Number = typename Poly::NumberType

private

Definition at line 79 of file SymmetryFinder.h.

Constructor & Destructor Documentation

GraphBuilder()

template<typename Poly >

carl::formula::symmetry::GraphBuilder< Poly >::GraphBuilder ( const Formula< Poly > &  f )

inline

Definition at line 172 of file SymmetryFinder.h.

Here is the call graph for this function:

Member Function Documentation

addConstraint()

template<typename Poly >

unsigned carl::formula::symmetry::GraphBuilder< Poly >::addConstraint ( const Constraint< Poly > &  c )

inlineprivate

Definition at line 108 of file SymmetryFinder.h.

Here is the call graph for this function:

Here is the caller graph for this function:

addFormula()

template<typename Poly >

unsigned carl::formula::symmetry::GraphBuilder< Poly >::addFormula ( const Formula< Poly > &  f )

inlineprivate

Definition at line 115 of file SymmetryFinder.h.

Here is the call graph for this function:

Here is the caller graph for this function:

addTerm()

template<typename Poly >

unsigned carl::formula::symmetry::GraphBuilder< Poly >::addTerm ( const Term< Number > &  t )

inlineprivate

Definition at line 95 of file SymmetryFinder.h.

Here is the call graph for this function:

Here is the caller graph for this function:

gatherVariables()

template<typename Poly >

void carl::formula::symmetry::GraphBuilder< Poly >::gatherVariables ( const Formula< Poly > &  f )

inlineprivate

Definition at line 85 of file SymmetryFinder.h.

Here is the call graph for this function:

Here is the caller graph for this function:

symmetries()

template<typename Poly >

Symmetries carl::formula::symmetry::GraphBuilder< Poly >::symmetries ( )

inline

Definition at line 176 of file SymmetryFinder.h.

Here is the call graph for this function:

Field Documentation

mColor

template<typename Poly >

ColorGenerator<Number> carl::formula::symmetry::GraphBuilder< Poly >::mColor

private

Definition at line 81 of file SymmetryFinder.h.

mGraph

template<typename Poly >

bliss::Digraph carl::formula::symmetry::GraphBuilder< Poly >::mGraph

private

Definition at line 80 of file SymmetryFinder.h.

mVariableIDs

template<typename Poly >

std::map<carl::Variable,unsigned> carl::formula::symmetry::GraphBuilder< Poly >::mVariableIDs

private

Definition at line 82 of file SymmetryFinder.h.

mVariables

template<typename Poly >

std::vector<carl::Variable> carl::formula::symmetry::GraphBuilder< Poly >::mVariables

private

Definition at line 83 of file SymmetryFinder.h.

---

The documentation for this class was generated from the following file:

• carl-formula/symmetry/SymmetryFinder.h