carl  24.04
Computer ARithmetic Library
Common.h File Reference
#include <map>
#include <set>
#include <vector>
#include <carl-arith/core/Variable.h>
#include <carl-arith/numbers/numbers.h>
Include dependency graph for Common.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.
 

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 >