public MkBound ( uint index, Microsoft.Z3.Sort ty ) : |
||
index | uint | The de-Bruijn index of the variable |
ty | Microsoft.Z3.Sort | The sort of the variable |
Résultat |
public MkBound ( uint index, Microsoft.Z3.Sort ty ) : |
||
index | uint | The de-Bruijn index of the variable |
ty | Microsoft.Z3.Sort | The sort of the variable |
Résultat |