Searched defs:proprule (Results 1 – 7 of 7) sorted by relevance
| /dports/math/SCIP/scip-7.0.3/src/scip/ |
| H A D | cons_xor.c | 2801 PROPRULE proprule /**< propagation rule */ in addConflictBounds()
2908 PROPRULE proprule /**< propagation rule */ in analyzeConflict()
3340 PROPRULE proprule, /**< propagation rule that deduced the value */ in resolvePropagation()
|
| H A D | cons_varbound.c | 506 PROPRULE proprule, /**< propagation rule that deduced the bound change */ in resolvePropagation()
926 PROPRULE proprule, /**< propagation rule that deduced the bound change */ in analyzeConflict()
|
| H A D | cons_or.c | 1240 PROPRULE proprule, /**< propagation rule that deduced the value */ in resolvePropagation()
|
| H A D | cons_linear.c | 355 unsigned int proprule:8; /**< propagation rule that was applied */ member
406 PROPRULE proprule, /**< propagation rule that deduced the value */ in getInferInfo()
425 PROPRULE proprule, /**< propagation rule that deduced the value */ in getInferInt()
5334 PROPRULE proprule, /**< propagation rule that deduced the value */ in tightenVarUb()
5403 PROPRULE proprule, /**< propagation rule that deduced the value */ in tightenVarLb()
|
| H A D | cons_abspower.c | 2441 PROPRULE proprule, /**< propagation rule that deduced the bound change */ in resolvePropagation()
2517 PROPRULE proprule, /**< propagation rule that deduced the bound change */ in analyzeConflict()
|
| H A D | cons_and.c | 1890 PROPRULE proprule, /**< propagation rule that deduced the value */ in resolvePropagation()
|
| H A D | cons_cumulative.c | 267 unsigned int proprule:2; /**< propagation rule that was applied */ member
338 PROPRULE proprule, /**< propagation rule that deduced the value */ in getInferInfo()
|