| 214 | } |
| 215 | |
| 216 | int DepthSpec::dtFunctionInvocationRandom_minimal_depth(int) |
| 217 | { |
| 218 | vector<int> vs; |
| 219 | vs.push_back(dtFunctionInvocationRandomUnary_minimal_depth()); |
| 220 | vs.push_back(dtFunctionInvocationRandomBinary_minimal_depth()); |
| 221 | vs.push_back(dtFunctionUserBuildInvocation_minimal_depth()); |
| 222 | |
| 223 | return *min_element(vs.begin(), vs.end()); |
| 224 | } |
| 225 | |
| 226 | int DepthSpec::dtExpressionRandomParam_minimal_depth(int flag) |
| 227 | { |