text: var structoperations__research_1_1sat_1_1_boolean_or_integer_literal =
  [
      [ "BooleanOrIntegerLiteral", "structoperations__research_1_1sat_1_1_boolean_or_integer_literal.html#ae524bf12eec388724545b7f47e3538ef", null ],
      [ "BooleanOrIntegerLiteral", "structoperations__research_1_1sat_1_1_boolean_or_integer_literal.html#a706766402ca4c78519e6c10eb76c8db3", null ],
      [ "BooleanOrIntegerLiteral", "structoperations__research_1_1sat_1_1_boolean_or_integer_literal.html#afcfb0c6902e66dba068a76719658550d", null ],
      [ "HasValue", "structoperations__research_1_1sat_1_1_boolean_or_integer_literal.html#ae26b73bbf70dc88433be39df364ca7c1", null ],
      [ "boolean_literal_index", "structoperations__research_1_1sat_1_1_boolean_or_integer_literal.html#a3c6f3ae96a90c7fcef34dd0f1ce0297e", null ],
      [ "integer_literal", "structoperations__research_1_1sat_1_1_boolean_or_integer_literal.html#aee356429e37f0750e38ee17ae1464a00", null ]
  ];