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 }