Microsoft.Z3.Symbol.Symbol C# (CSharp) Метод

Документация по классу Symbol Показать файл Открыть проект

Symbol() защищенный Метод

Symbol constructor

protected Symbol ( Context ctx, IntPtr obj ) : System
ctx	Context
obj	System.IntPtr
Результат	System

        protected internal Symbol(Context ctx, IntPtr obj)
            : base(ctx, obj)
        {
            Contract.Requires(ctx != null);
        }

Symbol

Create

IsIntSymbol

IsStringSymbol

Symbol

ToString