Z3
All
Data Structures
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Macros
Modules
Pages
src
api
java
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
}
z3py.String
def String
Definition:
z3py.py:10043
Generated on Sat Oct 5 2019 15:21:11 for Z3 by
1.8.8