(self, *args)
return base
Returns the Concatenation of the given BVs
Returns the Concatenation of the given BVs
Returns the Concatenation of the given BVs
def BVConcat(self, *args):
        """Returns the Concatenation of the given BVs"""
        ex = self._polymorph_args_to_tuple(args)
        base = self.create_node(node_type=op.BV_CONCAT,
                                args=(ex[0], ex[1]),
                                payload=(ex[0].bv_width() + ex[1].bv_width(),))
        for e in ex[2:]:
            base = self.create_node(node_type=op.BV_CONCAT,
                                    args=(base, e),
                                    payload=(base.bv_width() + e.bv_width(),))
        return base
def BVConcat ( self , * args ) : ex = self . _polymorph_args_to_tuple ( args ) base = self . create_node ( node_type = op . BV_CONCAT , args = ( ex [ 0 ] , ex [ 1 ] ) , payload = ( ex [ 0 ] . bv_width ( ) + ex [ 1 ] . bv_width ( ) , ) ) for e in ex [ 2 : ] : base = self . create_node ( node_type = op . BV_CONCAT , args = ( base , e ) , payload = ( base . bv_width ( ) + e . bv_width ( ) , ) ) return base