(self)
Iterate over the various forms of propagation to simplify the theory.

        Examples
        ========

        >>> from sympy.logic.algorithms.dpll2 import SATSolver
        >>> l = SATSolver([set([2, -3]), set([1]), set([3, -3]), set([2, -2]),
        ... set([3, -2])], set([1, 2, 3]), set([]))
        >>> l.variable_set
        [False, False, False, False]
        >>> l.sentinels
        {-3: set([0, 2]), -2: set([3, 4]), 2: set([0, 3]), 3: set([2, 4])}

        >>> l._simplify()

        >>> l.variable_set
        [False, True, False, False]
        >>> l.sentinels
        {-3: set([0, 2]), -2: set([3, 4]), -1: set(), 2: set([0, 3]),
        ...3: set([2, 4])}
Iterate over the various forms of propagation to simplify the theory.
Iterate over the various forms of propagation to simplify the theory .
def _simplify(self):
        """Iterate over the various forms of propagation to simplify the theory.

        Examples
        ========

        >>> from sympy.logic.algorithms.dpll2 import SATSolver
        >>> l = SATSolver([set([2, -3]), set([1]), set([3, -3]), set([2, -2]),
        ... set([3, -2])], set([1, 2, 3]), set([]))
        >>> l.variable_set
        [False, False, False, False]
        >>> l.sentinels
        {-3: set([0, 2]), -2: set([3, 4]), 2: set([0, 3]), 3: set([2, 4])}

        >>> l._simplify()

        >>> l.variable_set
        [False, True, False, False]
        >>> l.sentinels
        {-3: set([0, 2]), -2: set([3, 4]), -1: set(), 2: set([0, 3]),
        ...3: set([2, 4])}
        """
        changed = True
        while changed:
            changed = False
            changed |= self._unit_prop()
            changed |= self._pure_literal()
def _simplify ( self ) : changed = True while changed : changed = False changed |= self . _unit_prop ( ) changed |= self . _pure_literal ( )