|
public MkFreshConstDecl ( string prefix, Microsoft.Z3.Sort range ) : |
||
| prefix | string | |
| range | Microsoft.Z3.Sort | |
| Résultat | ||
public FuncDecl MkFreshConstDecl(string prefix, Sort range)
{
Contract.Requires(range != null);
Contract.Ensures(Contract.Result<FuncDecl>() != null);
CheckContextMatch(range);
return new FuncDecl(this, prefix, null, range);
}