Files | |
| file | fssIO.h |
| I/O module. | |
Namespaces | |
| namespace | FastSatSolver::StreamDecorator |
| Sett of common stuff to work with streams. (colored console output, etc.). | |
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 | |
| void | printError (std::string szMsg) |
| Common routine for printing errors. | |
| enum EColor |
| void FastSatSolver::printError | ( | std::string | szMsg | ) | [inline] |
Common routine for printing errors.
This function uses color output if color output is enabled.
Definition at line 148 of file fssIO.h.
References FastSatSolver::StreamDecorator::C_RED.
Referenced by main().
1.5.4