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