class_docstr: Class for representing a SAT solver capable of
   finding a model to a boolean theory in conjunctive
   normal form.
class_docstr_tok: ["Class","for","representing","a","SAT","solver","capable","of","finding","a","model","to","a","boolean","theory","in","conjunctive","normal","form","."]
docstr: The current decision level data structure
  
  Examples
  ========
  
  >>> from sympy.logic.algorithms.dpll2 import SATSolver
  >>> l = SATSolver([{1}, {2}], {1, 2}, set())
  >>> next(l._find_model())
  {1: True, 2: True}
  >>> l._current_level.decision
  0
  >>> l._current_level.flipped
  False
  >>> l._current_level.var_settings
  {1, 2}
docstr_tok: ["The","current","decision","level","data","structure","Examples","========",">",">",">","from","sympy.logic.algorithms.dpll2","import","SATSolver",">",">",">","l","=","SATSolver","(","[","{","1","}",",","{","2","}","]",",","{","1",",","2","}",",","set","(",")",")",">",">",">","next","(","l._find_model","(",")",")","{","1",":","True",",","2",":","True","}",">",">",">","l._current_level.decision","0",">",">",">","l._current_level.flipped","False",">",">",">","l._current_level.var_settings","{","1",",","2","}"]
code: def _current_level(self):
      """The current decision level data structure
  
      Examples
      ========
  
      >>> from sympy.logic.algorithms.dpll2 import SATSolver
      >>> l = SATSolver([{1}, {2}], {1, 2}, set())
      >>> next(l._find_model())
      {1: True, 2: True}
      >>> l._current_level.decision
      0
      >>> l._current_level.flipped
      False
      >>> l._current_level.var_settings
      {1, 2}
  
      """
      return self.levels[-1]
  
imports: from collections import defaultdict
  from heapq import heappush, heappop
  from sympy.core.sorting import ordered
  from sympy.assumptions.cnf import EncodedCNF
  from sympy.logic.algorithms.lra_theory import LRASolver
label_desc: Use image node_id 5 for calling the SATSolver obj's underlying member method code with example usage: obj._current_level() and returns: self