Changes in libcfa/src/rational.hfa [44e2a5a:92211d9]
- File:
-
- 1 edited
-
libcfa/src/rational.hfa (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
libcfa/src/rational.hfa
r44e2a5a r92211d9 12 12 // Created On : Wed Apr 6 17:56:25 2016 13 13 // Last Modified By : Peter A. Buhr 14 // Last Modified On : Fri Nov 8 17:02:09 202415 // Update Count : 12 614 // Last Modified On : Fri Oct 6 07:52:20 2023 15 // Update Count : 122 16 16 // 17 17 … … 23 23 // implementation 24 24 25 forall( T ) {25 forall( T | arithmetic( T ) ) { 26 26 struct rational { 27 27 T numerator, denominator; // invariant: denominator > 0 28 28 }; // rational 29 }30 29 31 forall( T | arithmetic( T ) ) {32 30 // constructors 33 31
Note:
See TracChangeset
for help on using the changeset viewer.