enums_1.js

var searchData=
[
  ['decisionstrategyproto_5fdomainreductionstrategy_3964',['DecisionStrategyProto_DomainReductionStrategy',['../namespaceoperations__research_1_1sat.html#a0ab0c4789d577b30dde661c19f88d00e',1,'operations_research::sat']]],
  ['decisionstrategyproto_5fvariableselectionstrategy_3965',['DecisionStrategyProto_VariableSelectionStrategy',['../namespaceoperations__research_1_1sat.html#a94523f1ebceff999bc59a3db7d2b98b6',1,'operations_research::sat']]]
];