(self, left, right)
return self.create_node(node_type=op.BV_COMP,
                                args=(left, right),
                                payload=(1,))
Returns a BV of size 1 equal to 0 if left is equal to right,
        otherwise 1 is returned.
Returns a BV of size 1 equal to 0 if left is equal to right,
        otherwise 1 is returned.
Returns a BV of size 1 equal to 0 if left is equal to right otherwise 1 is returned .
def BVComp(self, left, right):
        """Returns a BV of size 1 equal to 0 if left is equal to right,
        otherwise 1 is returned."""
        return self.create_node(node_type=op.BV_COMP,
                                args=(left, right),
                                payload=(1,))
def BVComp ( self , left , right ) : return self . create_node ( node_type = op . BV_COMP , args = ( left , right ) , payload = ( 1 , ) )