Z3
BitVecExpr.java
Go to the documentation of this file.
1 
18 package com.microsoft.z3;
19 
23 public class BitVecExpr extends Expr
24 {
25 
30  public int getSortSize() throws Z3Exception
31  {
32  return ((BitVecSort) getSort()).getSize();
33  }
34 
38  BitVecExpr(Context ctx)
39  {
40  super(ctx);
41  }
42 
43  BitVecExpr(Context ctx, long obj) throws Z3Exception
44  {
45  super(ctx, obj);
46  }
47 }