SymmetryBreaker.h File Reference
Include dependency graph for SymmetryBreaker.h:
Go to the source code of this file.
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
| carl::formula | |
| carl::formula::symmetry | |
Functions | |
| template<typename Poly > | |
| Formula< Poly > | carl::formula::symmetry::createComparison (Variable x, Variable y, Relation rel) |
| template<typename Poly > | |
| Formula< Poly > | carl::formula::symmetry::lexLeaderConstraint (const Symmetry &vars) |
| Creates symmetry breaking constraints from the passed symmetries in the spirit of [1]. More... | |
