carl
24.04
Computer ARithmetic Library
|
#include <map>
#include <set>
#include <vector>
#include <carl-arith/core/Variable.h>
#include <carl-arith/numbers/numbers.h>
Go to the source code of this file.
Namespaces | |
carl | |
carl is the main namespace for the library. | |
Typedefs | |
template<typename T > | |
using | carl::Assignment = std::map< Variable, T > |
template<typename T > | |
using | carl::OrderedAssignment = std::vector< std::pair< Variable, T > > |
using | carl::Variables = std::set< Variable > |
template<typename Pol > | |
using | carl::Factors = std::map< Pol, uint > |