Z3
src
api
java
FPRMSort.java
Go to the documentation of this file.
1
/*++
2
Copyright (c) 2013 Microsoft Corporation
3
4
Module Name:
5
6
FPRMExpr.java
7
8
Abstract:
9
10
Author:
11
12
Christoph Wintersteiger (cwinter) 2013-06-10
13
14
Notes:
15
16
--*/
17
package
com.microsoft.z3;
18
22
public
class
FPRMSort
extends
Sort
23
{
24
25
public
FPRMSort
(
Context
ctx)
26
{
27
super(ctx,
Native
.
mkFpaRoundingModeSort
(ctx.nCtx()));
28
}
29
30
public
FPRMSort
(
Context
ctx,
long
obj)
31
{
32
super(ctx, obj);
33
}
34
35
}
com.microsoft.z3.FPRMSort.FPRMSort
FPRMSort(Context ctx, long obj)
Definition:
FPRMSort.java:30
com.microsoft.z3.Context
Definition:
Context.java:29
com.microsoft.z3.Native
Definition:
Native.java:4
com.microsoft.z3.Native.mkFpaRoundingModeSort
static long mkFpaRoundingModeSort(long a0)
Definition:
Native.java:5516
com.microsoft.z3.FPRMSort.FPRMSort
FPRMSort(Context ctx)
Definition:
FPRMSort.java:25
com.microsoft.z3.FPRMSort
Definition:
FPRMSort.java:22
com.microsoft.z3.Sort
Definition:
Sort.java:26
Generated on Sat Nov 12 2016 23:18:40 for Z3 by
1.8.12