Definition in file fssIO.h.
#include <string>
#include <iostream>
Go to the source code of this file.
Namespaces | |
namespace | FastSatSolver |
namespace | FastSatSolver::StreamDecorator |
Classes | |
class | GenericException |
Common-usage exception containing error message inside. More... | |
class | FixedFloat |
High-level stream manipulator for fixed floats. More... | |
class | Color |
Console output color manipulator. More... | |
Enumerations | |
enum | EColor { C_NO_COLOR = 0, C_BLUE, C_GREEN, C_CYAN, C_RED, C_PURPLE, C_BROWN, C_LIGHT_GRAY, C_DARK_GRAY, C_LIGHT_BLUE, C_LIGHT_GREEN, C_LIGHT_CYAN, C_LIGHT_RED, C_LIGHT_PURPLE, C_YELLOW, C_WHITE } |
Console ouput colors enumeration. Zero means default color. More... | |
Functions | |
std::ostream & | operator<< (std::ostream &stream, const FixedFloat &) |
This behaves as standard stream manipulators. | |
std::ostream & | operator<< (std::ostream &, const Color &) |
This behaves as standard stream manipulators. | |
void | printError (std::string szMsg) |
Common routine for printing errors. |