Z3
BitVecExpr.java
Go to the documentation of this file.
1
18package com.microsoft.z3;
19
23public class BitVecExpr extends Expr<BitVecSort>
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}