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 }
com.microsoft.z3.BitVecExpr
Definition: BitVecExpr.java:23
com.microsoft.z3.Expr
Definition: Expr.java:30
com.microsoft.z3.BitVecExpr.getSortSize
int getSortSize()
Definition: BitVecExpr.java:32
com.microsoft.z3.Expr.getSort
Sort getSort()
Definition: Expr.java:235
com.microsoft.z3.Context
Definition: Context.java:35
com.microsoft.z3.BitVecSort
Definition: BitVecSort.java:23