diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-04-11 11:00:35 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-04-11 11:00:35 -0400 |
| commit | 7f5bca0f5d1c1bfc56c83e248360720ef45c842a (patch) | |
| tree | 542dc955de70f2d573de50848680046f923029e0 /native/src/sharedres.cpp | |
| parent | 20f6bc1e25b366c55fb95fb084ded37407042071 (diff) | |
Rename time types used in C++ schedulablity analysis
integral_t == integral time units
fractional_t == fractions of integral time units
This is hopefully less of an eyesore than mpq_class and mpz_class.
Diffstat (limited to 'native/src/sharedres.cpp')
| -rw-r--r-- | native/src/sharedres.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/native/src/sharedres.cpp b/native/src/sharedres.cpp index 7b61fc3..a691ef9 100644 --- a/native/src/sharedres.cpp +++ b/native/src/sharedres.cpp | |||
| @@ -7,7 +7,7 @@ | |||
| 7 | #include "sharedres.h" | 7 | #include "sharedres.h" |
| 8 | #include "res_io.h" | 8 | #include "res_io.h" |
| 9 | 9 | ||
| 10 | #include <gmpxx.h> | 10 | #include "time-types.h" |
| 11 | #include "math-helper.h" | 11 | #include "math-helper.h" |
| 12 | 12 | ||
| 13 | #include "stl-helper.h" | 13 | #include "stl-helper.h" |