Microsoft.Z3.IntExpr.IntExpr C# (CSharp) Méthode

IntExpr Class Documentation Afficher le fichier Open project: sslab-gatech/juxta

IntExpr() protected méthode

Constructor for IntExpr
protected IntExpr ( Context ctx ) : System
ctx Context
Résultat System 
        protected internal IntExpr(Context ctx)
            : base(ctx)
        {
            Contract.Requires(ctx != null);
        }

Same methods

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