util.h File Reference

#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>

Include dependency graph for util.h:

This graph shows which files directly or indirectly include this file:


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.

Detailed Description


Define Documentation

#define CONSTCOLNAME   "const"

Name of constant value column.


Typedef Documentation

typedef long long int64

64 bit signed integer integral data type.

typedef unsigned long long uint64

64 bit unsigned integer integral data type.


Generated on Sun Nov 23 14:52:40 2008 for Typing linear constraints by  doxygen 1.5.4