#NEWLINE# def unit_propagate_int_repr( clauses , s ) : #NEWLINE# #INDENT# '\n    Same as unit_propagate, but arguments are expected to be in integer\n    representation\n\n    >>> from sympy.logic.algorithms.dpll import unit_propagate_int_repr\n    >>> unit_propagate_int_repr([set([1, 2]), set([3, -2]), set([2])], 2)\n    [set([3])]\n\n    ' #NEWLINE# negated = { ( - s ) } #NEWLINE# return [ ( clause - clause ) for clause in clauses if ( s not in clause ) ]