diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-11-17 16:45:39 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-17 16:45:39 -0800 |
| commit | 4bdba195950858dc1b2b9afa80d216dc58c66b68 (patch) | |
| tree | 7f8a2082fc3739d8d8f04e67cb893abd3ed7c0cc /src/main | |
| parent | 7ffc3650a44859a51384eebbecb51bf199495102 (diff) | |
FloatingPoint: Clean up and document header, format. (#5453)
This cleans up the src/util/floatingpoint.h.in header to conform to the
code style guidelines of CVC4. This further attempts to fully document
the header. The main changes (except for added documentation) are
renames of member variables, getting rid of the redundant functions
FloatingPointSize::exponent() and FloatingPointSize::significand(),
and a more explicit naming of CVC4 wrapper types vs symFPU trait
types. Else, it's mainly reordering and formatting.
Diffstat (limited to 'src/main')
0 files changed, 0 insertions, 0 deletions