Comparison.h File Reference
#include "BasicConstraint.h"
Include dependency graph for Comparison.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
Functions | |
| template<typename Pol > | |
| signed | carl::compare (const BasicConstraint< Pol > &_constraintA, const BasicConstraint< Pol > &_constraintB) |
| Compares _constraintA with _constraintB. More... | |
Variables | |
| const signed | carl::A_IFF_B = 2 |
| const signed | carl::A_IMPLIES_B = 1 |
| const signed | carl::B_IMPLIES_A = -1 |
| const signed | carl::NOT__A_AND_B = -2 |
| const signed | carl::A_AND_B__IFF_C = -3 |
| const signed | carl::A_XOR_B = -4 |
