Z3
src
api
java
FPRMExpr.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
FPRMExpr
extends
Expr
23
{
24
public
FPRMExpr
(
Context
ctx,
long
obj)
25
{
26
super(ctx, obj);
27
}
28
29
}
com.microsoft.z3.Expr
Definition:
Expr.java:30
com.microsoft.z3.Context
Definition:
Context.java:27
com.microsoft.z3.FPRMExpr.FPRMExpr
FPRMExpr(Context ctx, long obj)
Definition:
FPRMExpr.java:24
com.microsoft.z3.FPRMExpr
Definition:
FPRMExpr.java:22
Generated on Tue Jul 19 2016 21:26:48 for Z3 by
1.8.11