Model.h File Reference
#include <carl-logging/carl-logging.h>#include "ModelVariable.h"#include "ModelValue.h"#include "ModelSubstitution.h"
Include dependency graph for Model.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | carl::Model< Rational, Poly > |
| Represent a collection of assignments/mappings from variables to values. More... | |
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
Functions | |
| template<typename Rational , typename Poly > | |
| std::ostream & | carl::operator<< (std::ostream &os, const Model< Rational, Poly > &model) |
