Mark Olesen
c2256e51f3
change solvers, utilities, etc. to use while (..) time-looping idiom
...
- this (now deprecated) idiom:
for (runTime++; !runTime.end(); runTime++) { ... }
has a few problems:
* stop-on-next-write will be off-by-one (ie, doesn't work)
* function objects are not executed on exit with runTime.end()
Fixing these problems is not really possible.
- this idiom
while (runTime.run())
{
runTime++;
...
}
works without the above problems.
2009-02-17 08:47:42 +01:00
..
2008-04-15 18:56:58 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2009-01-23 15:17:01 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2009-01-19 14:31:31 +01:00
2008-12-31 19:01:56 +01:00
2008-04-15 18:56:58 +01:00
2009-01-30 09:06:47 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2009-01-09 09:11:50 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-04-15 18:56:58 +01:00
2008-12-31 19:01:56 +01:00
2009-01-27 21:55:03 +01:00
2009-01-09 09:35:53 +01:00
2009-01-05 12:30:19 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2009-02-17 08:47:42 +01:00
2008-12-31 19:01:56 +01:00
2009-01-05 12:30:19 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-04-15 18:56:58 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2009-02-17 08:47:42 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2009-02-06 20:43:09 +01:00
2009-01-29 14:03:53 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2009-02-06 20:43:09 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2009-01-05 12:30:19 +01:00
2008-04-15 18:56:58 +01:00
2008-12-31 19:01:56 +01:00
2009-01-05 09:37:52 +01:00
2008-12-31 19:01:56 +01:00
2009-02-11 10:34:45 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-08-19 13:49:00 +01:00
2008-12-31 19:01:56 +01:00
2009-01-09 09:35:53 +01:00
2009-01-04 00:33:27 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-06-11 13:32:42 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-04-15 18:56:58 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-04-15 18:56:58 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2009-01-05 17:02:58 +01:00
2009-01-05 12:30:19 +01:00