Z3
src
api
java
FPExpr.java
Go to the documentation of this file.
1
/*++
2
Copyright (c) 2013 Microsoft Corporation
3
4
Module Name:
5
6
FPExpr.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
FPExpr
extends
Expr
23
{
28
public
int
getEBits
() {
return
((
FPSort
)
getSort
()).getEBits(); }
29
34
public
int
getSBits
() {
return
((
FPSort
)
getSort
()).getSBits(); }
35
36
public
FPExpr
(
Context
ctx,
long
obj)
37
{
38
super(ctx, obj);
39
}
40
41
}
com.microsoft.z3.FPExpr
Definition:
FPExpr.java:22
com.microsoft.z3.Expr
Definition:
Expr.java:30
com.microsoft.z3.Context
Definition:
Context.java:29
com.microsoft.z3.FPSort
Definition:
FPSort.java:22
com.microsoft.z3.FPExpr.getSBits
int getSBits()
Definition:
FPExpr.java:34
com.microsoft.z3.FPExpr.getEBits
int getEBits()
Definition:
FPExpr.java:28
com.microsoft.z3.Expr.getSort
Sort getSort()
Definition:
Expr.java:242
com.microsoft.z3.FPExpr.FPExpr
FPExpr(Context ctx, long obj)
Definition:
FPExpr.java:36
Generated on Sat Nov 12 2016 23:18:40 for Z3 by
1.8.12