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().