text: var classoperations__research_1_1sat_1_1AbsPropagator =
  [
      [ "AbsPropagator", "classoperations__research_1_1sat_1_1AbsPropagator.html#aa920a1d97a82ca480ac17e9b064b0efd", null ],
      [ "Propagate", "classoperations__research_1_1sat_1_1AbsPropagator.html#ac3273f1e1eeaf0eac71fb058ac1c9500", null ],
      [ "RegisterWith", "classoperations__research_1_1sat_1_1AbsPropagator.html#aae0b6decd4cfc571bab23ac43b9c13ea", null ]
  ];