Ejemplos de Microsoft.Z3 DatatypeExpr en C# (CSharp)

Ejemplo n.º 1

Archivo: ASTVector.cs Proyecto: z420/symbolic-execution

        /// <summary>
        /// Translates an ASTVector into a DatatypeExpr[]
        /// </summary>
        public DatatypeExpr[] ToDatatypeExprArray()
        {
            uint n = Size;

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

Ejemplo n.º 2

Archivo: ASTVector.cs Proyecto: perillaseed/z3

 /// <summary>
 /// Translates an ASTVector into a DatatypeExpr[]
 /// </summary>    
 public DatatypeExpr[] ToDatatypeExprArray()
 {
     uint n = Size;
     DatatypeExpr[] res = new DatatypeExpr[n];
     for (uint i = 0; i < n; i++)
         res[i] = (DatatypeExpr)Expr.Create(this.Context, this[i].NativeObject);
     return res;
 }