|
public MkEmptySet ( Microsoft.Z3.Sort domain ) : |
||
| domain | Microsoft.Z3.Sort | |
| Résultat | ||
public Expr MkEmptySet(Sort domain)
{
Contract.Requires(domain != null);
Contract.Ensures(Contract.Result<Expr>() != null);
CheckContextMatch(domain);
return Expr.Create(this, Native.Z3_mk_empty_set(nCtx, domain.NativeObject));
}