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. | |
1.5.4