carl
24.04
Computer ARithmetic Library
|
#include <carl-arith/poly/umvpoly/MonomialPool.h>
#include <carl-common/config.h>
#include <carl-logging/carl-logging.h>
#include <iomanip>
#include <iostream>
Go to the source code of this file.
Namespaces | |
carl | |
carl is the main namespace for the library. | |
Functions | |
int | carl::init () |
The routine for initializing the carl library. More... | |
int | carl::initialize () |
Method to ensure that upon inclusion, init() is called exactly once. More... | |
Variables | |
static int | carl::initvariable = initialize() |
Call to initialize. More... | |
This file should be the first included header from the CArL library in order to make sure some initilization is done right. Created: 20/11/2012 Version: 23/11/2012
Definition in file initialize.h.