Definition at line 41 of file fssIO.cpp.
Public Attributes | |
| int | width |
| int | precision |
| 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<<().
1.5.4