#NEWLINE# def _clause_sat( self , cls ) : #NEWLINE# #INDENT# 'Check if a clause is satisfied by the current variable setting.\n\n        Examples\n        ========\n\n        >>> from sympy.logic.algorithms.dpll2 import SATSolver\n        >>> l = SATSolver([set([1]), set([-1])], set([1]), set([]))\n        >>> try:\n        ...     next(l._find_model())\n        ... except StopIteration:\n        ...     pass\n        >>> l._clause_sat(0)\n        False\n        >>> l._clause_sat(1)\n        True\n        ' #NEWLINE# for lit in self . clauses [ cls ] : #NEWLINE# #INDENT# if ( lit in self . var_settings ) : #NEWLINE# #INDENT# return True #NEWLINE# #UNINDENT# #UNINDENT# return False