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 
32  public int getSortSize()
33  {
34  return ((BitVecSort) getSort()).getSize();
35  }
36 
40  BitVecExpr(Context ctx, long obj)
41  {
42  super(ctx, obj);
43  }
44 }