#include <polylib/polylib.h>
#include <cmath>
#include <cstddef>
#include <cstdio>
#include <cstdlib>
#include <ctime>
#include <fstream>
#include <inttypes.h>
#include <iostream>
#include <limits>
#include <stdexcept>
#include <string>
#include <sys/time.h>
#include <sys/times.h>
#include <vector>
Namespaces | |
namespace | util |
Classes | |
class | util::cronos |
Models a time cronometer. More... | |
class | util::LinearSystem |
Models a linear system Ax <= b. More... | |
class | util::nocopy |
Base class to prevent copy and assignment operator. More... | |
class | util::poly_util |
Utility methods for (parameterized) polyhedra. More... | |
class | util::string_util |
Static utitity functions involving strings. More... | |
class | util::tokenizer |
Extracts tokens separated by a char from a buffer. More... | |
class | util::unique |
Global unique identifier. More... | |
class | util::verbose |
Global verbose level. More... | |
Defines | |
#define | CONSTCOLNAME "const" |
Name of constant value column. | |
Typedefs | |
typedef long long | int64 |
64 bit signed integer integral data type. | |
typedef unsigned long long | uint64 |
64 bit unsigned integer integral data type. |
#define CONSTCOLNAME "const" |
Name of constant value column.
typedef long long int64 |
64 bit signed integer integral data type.
typedef unsigned long long uint64 |
64 bit unsigned integer integral data type.