parameters: (csolver, map)
docstring: Basic MUS/MCS enumeration, as a simple example.
docstring_summary: Basic MUS/MCS enumeration, as a simple example.
docstring_tokens: Basic MUS / MCS enumeration as a simple example .
function: def enumerate_sets(csolver, map):
      """Basic MUS/MCS enumeration, as a simple example."""
      while True:
          seed = map.next_seed()
          if seed is None:
             return
          if csolver.check_subset(seed):
             MSS = csolver.grow(seed)
             yield ("MSS", csolver.to_c_lits(MSS))
             map.block_down(MSS)
          else:
             seed = csolver.seed_from_core()
             MUS = csolver.shrink(seed)
             yield ("MUS", csolver.to_c_lits(MUS))
             map.block_up(MUS)
function_tokens: def enumerate_sets ( csolver , map ) : while True : seed = map . next_seed ( ) if seed is None : return if csolver . check_subset ( seed ) : MSS = csolver . grow ( seed ) yield ( "MSS" , csolver . to_c_lits ( MSS ) ) map . block_down ( MSS ) else : seed = csolver . seed_from_core ( ) MUS = csolver . shrink ( seed ) yield ( "MUS" , csolver . to_c_lits ( MUS ) ) map . block_up ( MUS )