Z3
src/api/java/RealExpr.java
Go to the documentation of this file.
00001 
00018 package com.microsoft.z3;
00019 
00023 public class RealExpr extends ArithExpr
00024 {
00028     protected RealExpr(Context ctx)
00029     {
00030         super(ctx);
00031     }
00032 
00033     RealExpr(Context ctx, long obj) throws Z3Exception
00034     {
00035         super(ctx, obj);
00036     }
00037 }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines