public Context()
: base()
{
m_ctx = Native.Z3_mk_context_rc(IntPtr.Zero);
InitContext();
}
|
Context::Context ( string>.Dictionary |
