text: var structoperations__research_1_1sat_1_1_clause_info =
  [
      [ "activity", "structoperations__research_1_1sat_1_1_clause_info.html#ac3e857ac5cab6563bdbf0dd5632df5ea", null ],
      [ "lbd", "structoperations__research_1_1sat_1_1_clause_info.html#ab936491a95d91a181081d85c4457c7c5", null ],
      [ "protected_during_next_cleanup", "structoperations__research_1_1sat_1_1_clause_info.html#a88057f377391af0e1ebe4b97af753d19", null ]
  ];