Z3
src
api
dotnet
Deprecated.cs
Go to the documentation of this file.
1
/*++
2
Copyright (c) 2012 Microsoft Corporation
3
4
Module Name:
5
6
Deprecated.cs
7
8
Abstract:
9
10
Expose deprecated features for use from the managed API
11
those who use them for experiments.
12
13
Author:
14
15
Christoph Wintersteiger (cwinter) 2012-03-15
16
17
Notes:
18
19
--*/
20
using
System
;
21
using
System
.Collections.Generic;
22
using
System
.Runtime.InteropServices;
23
using
System
.
Diagnostics
.
Contracts
;
24
25
namespace
Microsoft
.Z3
26
{
30
[
ContractVerification
(
true
)]
31
public
class
Deprecated
32
{
33
34
35
}
36
}
Microsoft.Z3.Deprecated
The main interaction with Z3 happens via the Context.
Definition:
Deprecated.cs:31
System
System.Diagnostics
Microsoft
System.Diagnostics.Contracts.ContractVerification
Definition:
DummyContracts.cs:38
System.Diagnostics.Contracts
Definition:
DummyContracts.cs:21
Generated on Sat Nov 12 2016 22:01:04 for Z3 by
1.8.12