fssIO.h File Reference


Detailed Description

I/O module.

Author:
Kamil Dudka <xdudka00@gmail.com>
Date:
2008-11-05

Definition in file fssIO.h.

#include <string>
#include <iostream>

Include dependency graph for fssIO.h:

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.


Generated on Wed Nov 5 22:30:22 2008 for Fast SAT Solver by  doxygen 1.5.4