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

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

BoolSort() private méthode

private BoolSort ( Context ctx ) : System
ctx Context
Résultat System 
        internal BoolSort(Context ctx)
            : base(ctx, Native.Z3_mk_bool_sort(ctx.nCtx))
        {
            Contract.Requires(ctx != null);
        }

Same methods

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