C# (CSharp) Microsoft.Z3 AST.Create примеры использования

Create() статический приватный Метод

static private Create ( Context ctx, IntPtr obj ) : AST
ctx	Context
obj	IntPtr
Результат	AST

Пример #1

Файл: ASTVector.cs Проект: z420/symbolic-execution

        /// <summary>
        /// Translates an AST vector into an AST[]
        /// </summary>
        public AST[] ToArray()
        {
            uint n = Size;

            AST[] res = new AST[n];
            for (uint i = 0; i < n; i++)
            {
                res[i] = AST.Create(this.Context, this[i].NativeObject);
            }
            return(res);
        }