(self, cls)
return False
Check if a clause is satisfied by the current variable setting.

        Examples
        ========

        >>> from sympy.logic.algorithms.dpll2 import SATSolver
        >>> l = SATSolver([set([1]), set([-1])], set([1]), set([]))
        >>> l._find_model()
        False
        >>> l._clause_sat(0)
        False
        >>> l._clause_sat(1)
        True
Check if a clause is satisfied by the current variable setting.
Check if a clause is satisfied by the current variable setting .
def _clause_sat(self, cls):
        """Check if a clause is satisfied by the current variable setting.

        Examples
        ========

        >>> from sympy.logic.algorithms.dpll2 import SATSolver
        >>> l = SATSolver([set([1]), set([-1])], set([1]), set([]))
        >>> l._find_model()
        False
        >>> l._clause_sat(0)
        False
        >>> l._clause_sat(1)
        True
        """
        for lit in self.clauses[cls]:
            if lit in self.var_settings:
                return True
        return False
def _clause_sat ( self , cls ) : for lit in self . clauses [ cls ] : if lit in self . var_settings : return True return False