FixedFloat::Private Struct Reference

List of all members.


Detailed Description

Definition at line 41 of file fssIO.cpp.


Public Attributes

int width
int precision

Member Data Documentation

int width

Definition at line 42 of file fssIO.cpp.

Referenced by FixedFloat::FixedFloat(), and FastSatSolver::StreamDecorator::operator<<().

int precision

Definition at line 43 of file fssIO.cpp.

Referenced by FixedFloat::FixedFloat(), and FastSatSolver::StreamDecorator::operator<<().


The documentation for this struct was generated from the following file:
Generated on Wed Nov 5 22:30:22 2008 for Fast SAT Solver by  doxygen 1.5.4