BasicConstraint.h File Reference
Include dependency graph for BasicConstraint.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | carl::BasicConstraint< Pol > |
| Represent a polynomial (in)equality against zero. More... | |
| struct | std::hash< carl::BasicConstraint< Pol > > |
| Implements std::hash for constraints. More... | |
| struct | std::hash< std::vector< carl::BasicConstraint< Pol > > > |
| Implements std::hash for vectors of constraints. More... | |
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
Macros | |
| #define | CONSTRAINT_HASH(_lhs, _rel, _type) (size_t)((size_t)(std::hash<_type>()(_lhs) << 3) ^ (size_t)_rel) |
Functions | |
| template<typename P > | |
| bool | carl::operator== (const BasicConstraint< P > &lhs, const BasicConstraint< P > &rhs) |
| template<typename P > | |
| bool | carl::operator!= (const BasicConstraint< P > &lhs, const BasicConstraint< P > &rhs) |
| template<typename P > | |
| bool | carl::operator< (const BasicConstraint< P > &lhs, const BasicConstraint< P > &rhs) |
| template<typename P > | |
| bool | carl::operator<= (const BasicConstraint< P > &lhs, const BasicConstraint< P > &rhs) |
| template<typename P > | |
| bool | carl::operator> (const BasicConstraint< P > &lhs, const BasicConstraint< P > &rhs) |
| template<typename P > | |
| bool | carl::operator>= (const BasicConstraint< P > &lhs, const BasicConstraint< P > &rhs) |
| template<typename Pol > | |
| void | carl::variables (const BasicConstraint< Pol > &c, carlVariables &vars) |
| template<typename Poly > | |
| std::ostream & | carl::operator<< (std::ostream &os, const BasicConstraint< Poly > &c) |
| Prints the given constraint on the given stream. More... | |
Macro Definition Documentation
◆ CONSTRAINT_HASH
| #define CONSTRAINT_HASH | ( | _lhs, | |
| _rel, | |||
| _type | |||
| ) | (size_t)((size_t)(std::hash<_type>()(_lhs) << 3) ^ (size_t)_rel) |
Definition at line 8 of file BasicConstraint.h.
