Mark Olesen
32916fa845
ENH: dictionary checking methods with predicates on the input values
...
- can be used to check the validity of input values.
Example:
dict.getCheck<label>("nIters", greaterOp1<label>(0));
dict.getCheck<scalar>("relax", scalarMinMax::zero_one());
- use 'get' prefix for more regular dictionary methods.
Eg, getOrDefault() as alternative to lookupOrDefault()
- additional ops for convenient construction of predicates
ENH: make dictionary writeOptionalEntries integer
- allow triggering of Fatal if default values are used
ENH: additional scalarRange static methods: ge0, gt0, zero_one
- use GREAT instead of VGREAT for internal placeholders
- additional MinMax static methods: gt, le
2019-05-21 19:10:14 +01:00
..
2018-12-03 09:50:48 +01:00
2019-04-03 20:24:30 +02:00
2019-02-24 17:32:13 +01:00
2019-05-03 09:59:53 +02:00
2018-11-13 15:21:13 +01:00
2019-02-24 17:32:13 +01:00
2019-02-24 17:32:13 +01:00
2019-04-26 13:01:39 +02:00
2018-11-13 15:21:13 +01:00
2018-08-07 22:23:16 +02:00
2019-02-06 12:28:23 +00:00
2018-11-13 15:21:13 +01:00
2018-12-12 12:10:39 +01:00
2019-02-06 12:28:23 +00:00
2019-04-11 10:07:54 +02:00
2019-02-06 12:28:23 +00:00
2019-05-06 17:13:22 +02:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2019-04-04 19:00:29 +02:00
2018-11-13 15:21:13 +01:00
2019-01-23 09:03:06 +01:00
2019-02-24 17:32:13 +01:00
2018-11-13 15:21:13 +01:00
2019-02-24 17:32:13 +01:00
2018-07-24 15:54:32 +01:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2018-12-12 12:10:39 +01:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2019-05-21 19:10:14 +01:00
2019-02-06 12:28:23 +00:00
2018-05-30 12:03:17 +02:00
2019-02-24 17:32:13 +01:00
2019-01-23 09:03:06 +01:00
2019-02-24 17:32:13 +01:00
2019-02-06 12:28:23 +00:00
2019-04-29 08:15:48 +02:00
2019-02-24 17:32:13 +01:00
2019-02-06 12:28:23 +00:00
2019-04-29 08:15:48 +02:00
2018-11-13 15:21:13 +01:00
2017-11-22 12:54:28 +01:00
2019-01-10 14:49:18 +01:00
2019-02-24 17:32:13 +01:00
2018-12-12 13:45:32 +01:00
2019-02-06 12:28:23 +00:00
2018-12-12 12:10:39 +01:00
2019-01-23 09:03:06 +01:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2018-11-12 16:39:55 +01:00
2019-04-29 08:15:48 +02:00
2019-02-06 12:28:23 +00:00
2019-04-01 16:40:22 +02:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2019-02-24 17:32:13 +01:00
2019-04-29 08:15:48 +02:00
2018-11-13 15:21:13 +01:00
2017-10-09 21:00:34 +02:00
2019-04-29 08:15:48 +02:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2019-01-07 09:20:51 +01:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2019-04-29 14:23:05 +01:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2019-04-29 08:15:48 +02:00
2019-02-06 12:28:23 +00:00
2017-10-26 23:59:18 +02:00
2019-05-06 08:34:39 +02:00
2019-02-24 17:32:13 +01:00
2019-02-06 12:28:23 +00:00
2019-05-06 08:34:39 +02:00
2019-04-06 16:00:21 +02:00
2019-05-06 08:34:39 +02:00
2019-02-06 12:28:23 +00:00
2019-04-29 08:15:48 +02:00
2018-03-05 13:28:53 +01:00
2019-04-11 15:24:33 +02:00
2019-02-24 17:32:13 +01:00
2019-02-06 12:28:23 +00:00
2019-02-24 17:32:13 +01:00
2019-04-29 08:15:48 +02:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2017-11-06 09:25:58 +01:00
2019-04-06 15:07:53 +02:00
2019-01-22 15:11:28 +01:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2018-11-13 15:21:13 +01:00
2019-04-29 08:15:48 +02:00
2019-02-06 12:28:23 +00:00
2019-05-06 08:34:39 +02:00
2019-02-06 12:28:23 +00:00
2019-02-24 17:32:13 +01:00
2018-12-19 18:07:52 +00:00
2019-02-06 12:28:23 +00:00
2019-02-24 17:32:13 +01:00
2019-04-03 20:24:30 +02:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2019-05-08 12:12:00 +02:00
2019-01-10 09:43:23 +01:00
2019-02-24 17:32:13 +01:00
2019-02-06 12:28:23 +00:00
2019-02-24 17:32:13 +01:00
2019-04-29 08:15:48 +02:00
2019-02-24 17:32:13 +01:00
2018-11-11 19:00:54 +01:00
2018-01-22 09:42:06 +01:00
2019-03-15 11:19:15 +01:00
2018-03-05 13:28:53 +01:00
2017-12-19 16:07:15 +01:00
2019-04-11 10:07:54 +02:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2019-04-01 18:44:23 +02:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2018-12-19 18:07:52 +00:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2019-03-14 16:24:20 +01:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2017-05-17 10:18:14 +02:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2019-01-29 09:38:09 +01:00
2019-02-24 17:32:13 +01:00
2019-04-29 08:15:48 +02:00
2019-02-06 12:28:23 +00:00
2019-04-29 08:15:48 +02:00
2019-05-10 11:20:21 +02:00
2019-04-30 10:05:53 +02:00
2019-04-03 17:34:56 +02:00
2019-02-06 12:28:23 +00:00
2019-05-21 12:29:52 +01:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2019-05-21 19:10:14 +01:00
2018-11-13 15:21:13 +01:00
2019-04-30 12:43:59 +02:00
2019-02-06 12:28:23 +00:00
2019-02-24 17:32:13 +01:00
2019-05-10 11:20:21 +02:00
2019-02-06 12:28:23 +00:00
2019-05-02 16:49:48 +01:00
2019-04-29 08:15:48 +02:00
2019-04-24 19:03:00 +02:00
2018-11-13 15:21:13 +01:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2019-04-16 18:00:20 +02:00
2019-02-24 17:32:13 +01:00
2018-11-13 15:21:13 +01:00
2019-04-28 14:44:33 +02:00
2019-02-06 12:28:23 +00:00
2018-06-27 10:31:35 +02:00
2019-03-11 15:09:03 +01:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2018-11-13 15:21:13 +01:00
2018-11-13 15:21:13 +01:00
2018-11-13 15:21:13 +01:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2018-12-15 13:26:55 +01:00
2019-04-29 08:15:48 +02:00
2017-11-05 20:05:28 +01:00
2019-02-06 12:28:23 +00:00
2018-11-13 15:21:13 +01:00
2019-04-29 08:15:48 +02:00
2019-02-06 12:28:23 +00:00
2018-01-22 09:42:06 +01:00
2019-02-06 12:28:23 +00:00
2019-04-29 08:15:48 +02:00
2019-02-24 17:32:13 +01:00
2018-11-13 15:21:13 +01:00
2019-04-04 17:14:27 +02:00
2017-04-07 08:17:43 +02:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2018-12-12 12:10:39 +01:00
2018-10-02 12:53:01 +02:00
2019-02-06 12:28:23 +00:00
2019-02-06 12:28:23 +00:00
2019-04-03 08:57:01 +02:00
2019-02-14 11:03:04 +01:00