Z3
src
api
java
IDisposable.java
Go to the documentation of this file.
1
/*++
2
Copyright (c) 2012 Microsoft Corporation
3
4
Module Name:
5
6
IDisposable.java
7
8
Abstract:
9
10
Compatability interface (C# -> Java)
11
12
Author:
13
14
Christoph Wintersteiger (cwinter) 2012-03-16
15
16
Notes:
17
18
--*/
19
20
package
com.microsoft.z3;
21
22
public
class
IDisposable
23
{
24
public
void
dispose
()
25
{
26
}
27
}
com.microsoft.z3.IDisposable.dispose
void dispose()
Definition:
IDisposable.java:24
com.microsoft.z3.IDisposable
Definition:
IDisposable.java:22
Generated on Tue Jul 19 2016 21:26:48 for Z3 by
1.8.11