Microsoft.Z3.ArrayExpr.ArrayExpr C# (CSharp) Метод

Документация по классу ArrayExpr Показать файл Открыть проект

ArrayExpr() защищенный Метод

Constructor for ArrayExpr
protected ArrayExpr ( Context ctx ) : System
ctx Context
Результат System 
        protected internal ArrayExpr(Context ctx)
            : base(ctx)
        {
            Contract.Requires(ctx != null);
        }

Same methods

ArrayExpr::ArrayExpr ( Context ctx, IntPtr obj ) : System
ArrayExpr
ArrayExpr