public MkFreshFuncDecl ( string prefix, Microsoft.Z3.Sort domain, Microsoft.Z3.Sort range ) : |
||
prefix | string | |
domain | Microsoft.Z3.Sort | |
range | Microsoft.Z3.Sort | |
Résultat |
public MkFreshFuncDecl ( string prefix, Microsoft.Z3.Sort domain, Microsoft.Z3.Sort range ) : |
||
prefix | string | |
domain | Microsoft.Z3.Sort | |
range | Microsoft.Z3.Sort | |
Résultat |