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 }