var arith__heuristic__pivot__rule_8h =
[
    [ "ErrorSelectionRule", "arith__heuristic__pivot__rule_8h.html#a71265e17555c4a124e6a8bc5a341265b", [
      [ "VAR_ORDER", "arith__heuristic__pivot__rule_8h.html#a71265e17555c4a124e6a8bc5a341265ba79c3301c67f19c9d5b665ebeedf2d303", null ],
      [ "MINIMUM_AMOUNT", "arith__heuristic__pivot__rule_8h.html#a71265e17555c4a124e6a8bc5a341265ba9e3a3c585abe5a7d9b814e4b6e165941", null ],
      [ "MAXIMUM_AMOUNT", "arith__heuristic__pivot__rule_8h.html#a71265e17555c4a124e6a8bc5a341265ba456d4dba8b1fe7038f306981054b7ffb", null ],
      [ "SUM_METRIC", "arith__heuristic__pivot__rule_8h.html#a71265e17555c4a124e6a8bc5a341265ba56b037f803fbd008ae94224abbf8adc1", null ]
    ] ],
    [ "operator<<", "arith__heuristic__pivot__rule_8h.html#aef6dedca6a10cc1f8b9a3388b4c3f4da", null ]
];