public MkNumeral ( int v, Microsoft.Z3.Sort ty ) : |
||
v | int | Value of the numeral |
ty | Microsoft.Z3.Sort | Sort of the numeral |
return |
MakeNumeral
since it is not necessary to parse a string.
public MkNumeral ( int v, Microsoft.Z3.Sort ty ) : |
||
v | int | Value of the numeral |
ty | Microsoft.Z3.Sort | Sort of the numeral |
return |