Z3 |

BitVecExpr.java
Go to the documentation of this file.
1
18 package com.microsoft.z3;
19
23 public 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}
com.microsoft.z3.BitVecExpr
Definition: BitVecExpr.java:24
com.microsoft.z3.BitVecExpr.getSortSize
int getSortSize()
Definition: BitVecExpr.java:32
com.microsoft.z3.BitVecSort
Definition: BitVecSort.java:24
com.microsoft.z3.Context
Definition: Context.java:36
com.microsoft.z3.Expr
Definition: Expr.java:35
com.microsoft.z3.Expr< BitVecSort >::getSort
R getSort()
Definition: Expr.java:239