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

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

DatatypeSort() private méthode

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

Same methods

DatatypeSort::DatatypeSort ( Context ctx, Symbol name, Microsoft.Z3.Constructor constructors ) : System
DatatypeSort
DatatypeSort