Microsoft.Z3.Symbol.Symbol C# (CSharp) Method

Symbol Class Documentation Show file Open project: sslab-gatech/juxta

Symbol() protected method

Symbol constructor

protected Symbol ( Context ctx, IntPtr obj ) : System
ctx	Context
obj	System.IntPtr
return	System

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

Symbol

Create

IsIntSymbol

IsStringSymbol

Symbol

ToString