Z3
Z3Exception.java
Go to the documentation of this file.
1 
18 package com.microsoft.z3;
19 
20 
24 @SuppressWarnings("serial")
25 public class Z3Exception extends RuntimeException
26 {
30  public Z3Exception()
31  {
32  super();
33  }
34 
38  public Z3Exception(String message)
39  {
40  super(message);
41  }
42 
46  public Z3Exception(String message, Exception inner)
47  {
48  super(message, inner);
49  }
50 }
Z3Exception(String message, Exception inner)
def String(name, ctx=None)
Definition: z3py.py:9443