(self)
return self.levels[-1]
The current decision level data structure

        Examples
        ========

        >>> from sympy.logic.algorithms.dpll2 import SATSolver
        >>> l = SATSolver([set([1]), set([2])], set([1, 2]), set([]))
        >>> l._find_model()
        True
        >>> l._current_level.decision
        0
        >>> l._current_level.flipped
        False
        >>> l._current_level.var_settings
        set([1, 2])
The current decision level data structure
The current decision level data structure
def _current_level(self):
        """The current decision level data structure

        Examples
        ========

        >>> from sympy.logic.algorithms.dpll2 import SATSolver
        >>> l = SATSolver([set([1]), set([2])], set([1, 2]), set([]))
        >>> l._find_model()
        True
        >>> l._current_level.decision
        0
        >>> l._current_level.flipped
        False
        >>> l._current_level.var_settings
        set([1, 2])
        """
        return self.levels[-1]
def _current_level ( self ) : return self . levels [ - 1 ]