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

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

FiniteDomainSort() private méthode

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

Same methods

FiniteDomainSort::FiniteDomainSort ( Context ctx, Symbol name, ulong size ) : System
FiniteDomainSort
FiniteDomainSort