Microsoft.Z3.Context.MkTermArray C# (CSharp) Méthode

Access the array default value.

Produces the default range value, for arrays that can be represented as finite maps with a default range value.

public MkTermArray ( ArrayExpr array ) : Expr
array	ArrayExpr
Résultat	Expr

        public Expr MkTermArray(ArrayExpr array)
        {
            Contract.Requires(array != null);
            Contract.Ensures(Contract.Result<Expr>() != null);

            CheckContextMatch(array);
            return Expr.Create(this, Native.Z3_mk_array_default(nCtx, array.NativeObject));
        }

Microsoft.Z3.Context.MkTermArray C# (CSharp) Méthode

MkTermArray() public méthode