public void Set_Mem(BitVecExpr address, Tv[] value)
{
(BitVecExpr value, BitVecExpr undef)tup = ToolsZ3.MakeVecExpr(value, this._ctx);
this.Set_Mem(address, tup.value, tup.undef);
}
public void Set(Rn reg, Tv[] value)
{
(BitVecExpr value, BitVecExpr undef)tup = ToolsZ3.MakeVecExpr(value, this._ctx);
this.Set(reg, tup.value, tup.undef);
}