Z3
src/api/java/BitVecExpr.java
Go to the documentation of this file.
00001 
00018 package com.microsoft.z3;
00019 
00023 public class BitVecExpr extends Expr
00024 {
00025 
00030         public int getSortSize() throws Z3Exception
00031         {
00032                 return ((BitVecSort) getSort()).getSize();
00033         }
00034 
00038         BitVecExpr(Context ctx)
00039         {
00040                 super(ctx);
00041         }
00042 
00043         BitVecExpr(Context ctx, long obj) throws Z3Exception
00044         {
00045                 super(ctx, obj);
00046         }
00047 }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines