Microsoft.Z3.Symbol.Symbol C# (CSharp) 메소드

Symbol 1 문서 파일 보기 프로젝트 열기: sslab-gatech/juxta

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