Variable.h File Reference
#include <cassert>#include <climits>#include <iosfwd>#include <string>#include <type_traits>#include <carl-common/util/enum_util.h>#include <carl-common/config.h>#include <carl-logging/carl-logging.h>
Include dependency graph for Variable.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | carl::Variable |
| A Variable represents an algebraic variable that can be used throughout carl. More... | |
| struct | std::hash< carl::Variable > |
Specialization of std::hash for Variable. More... | |
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
Enumerations | |
| enum class | carl::VariableType { carl::VT_BOOL = 0 , carl::VT_REAL = 1 , carl::VT_INT = 2 , carl::VT_UNINTERPRETED = 3 , carl::VT_BITVECTOR = 4 , carl::MIN_TYPE = VT_BOOL , carl::MAX_TYPE = VT_BITVECTOR , carl::TYPE_SIZE = MAX_TYPE - MIN_TYPE + 1 } |
| Several types of variables are supported. More... | |
Functions | |
| std::ostream & | carl::operator<< (std::ostream &os, const VariableType &t) |
| Streaming operator for VariableType. More... | |
| std::ostream & | carl::operator<< (std::ostream &os, Variable rhs) |
| Streaming operator for Variable. More... | |
Detailed Description
Definition in file Variable.h.
