Classes | |
class | cronos |
Models a time cronometer. More... | |
class | LinearSystem |
Models a linear system Ax <= b. More... | |
class | nocopy |
Base class to prevent copy and assignment operator. More... | |
class | poly_util |
Utility methods for (parameterized) polyhedra. More... | |
class | string_util |
Static utitity functions involving strings. More... | |
class | tokenizer |
Extracts tokens separated by a char from a buffer. More... | |
class | unique |
Global unique identifier. More... | |
class | verbose |
Global verbose level. More... |
The using directive is automatically included in the header <basic.h>