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

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

BitVecSort() private méthode

private BitVecSort ( Context ctx, IntPtr obj ) : System
ctx Context
obj System.IntPtr
Résultat System 
        internal BitVecSort(Context ctx, IntPtr obj)
            : base(ctx, obj)
        {
            Contract.Requires(ctx != null);
        }
BitVecSort
BitVecSort