20using System.Diagnostics;
46 public Z3Exception(
string message, System.Exception inner) : base(message, inner) { }
The exception base class for error reporting from Z3
Z3Exception(string message)
Constructor.
Z3Exception(string message, System.Exception inner)
Constructor.
Z3Exception()
Constructor.