Z3
src/api/java/Z3Exception.java
Go to the documentation of this file.
00001 
00018 package com.microsoft.z3;
00019 
00020 
00024 @SuppressWarnings("serial")
00025 public class Z3Exception extends Exception
00026 {
00030     public Z3Exception()
00031     {
00032         super();
00033     }
00034 
00038     public Z3Exception(String message)
00039     {
00040         super(message);
00041     }
00042 
00046     public Z3Exception(String message, Exception inner)
00047     {
00048         super(message, inner);
00049     }
00050 }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines