public MkBV ( int v, uint size ) : |
||
v | int | value of the numeral. |
size | uint | the size of the bit-vector |
return |
public MkBV ( int v, uint size ) : |
||
v | int | value of the numeral. |
size | uint | the size of the bit-vector |
return |