FastSatSolver::StreamDecorator Namespace Reference
[I/O module]

---

Detailed Description

Sett of common stuff to work with streams. (colored console output, etc.).

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

---

Function Documentation

std::ostream & operator<<	(	std::ostream &	stream,
		const Color &	cObj
	)

This behaves as standard stream manipulators.

Definition at line 86 of file fssIO.cpp.

References C_BLUE, C_BROWN, C_CYAN, C_DARK_GRAY, C_GREEN, C_LIGHT_BLUE, C_LIGHT_CYAN, C_LIGHT_GRAY, C_LIGHT_GREEN, C_LIGHT_PURPLE, C_LIGHT_RED, C_NO_COLOR, C_PURPLE, C_RED, C_WHITE, C_YELLOW, Color::Private::color, and Color::d.

std::ostream & operator<<	(	std::ostream &	stream,
		const FixedFloat &	manip
	)

This behaves as standard stream manipulators.

Definition at line 54 of file fssIO.cpp.

References FixedFloat::d, FixedFloat::Private::precision, and FixedFloat::Private::width.

---