mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-05-23 07:24:02 +00:00
Code Activity

expose BoolExpr[] for ASTVector and merge common functionality

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2015-05-22 08:57:05 -07:00
parent 4d8af9191c
commit 279ef05713
4 changed files with 16 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/api/java/ASTVector.java
View file

@ -119,4 +119,12 @@ public class ASTVector extends Z3Object
getContext().getASTVectorDRQ().add(o);
super.decRef(o);
}
BoolExpr[] ToBoolArray() {
int n = size();
BoolExpr[] res = new BoolExpr[n];
for (int i = 0; i < n; i++)
res[i] = new BoolExpr(getContext(), get(i).getNativeObject());
return res;
}
}