diff options
Diffstat (limited to 'src/bindings')
-rw-r--r-- | src/bindings/compat/java/src/cvc3/ValidityChecker.java | 8 | ||||
-rw-r--r-- | src/bindings/compat/java/src/cvc3/ValidityChecker_impl.cpp | 4 |
2 files changed, 0 insertions, 12 deletions
diff --git a/src/bindings/compat/java/src/cvc3/ValidityChecker.java b/src/bindings/compat/java/src/cvc3/ValidityChecker.java index 7407d0251..1b38a4c95 100644 --- a/src/bindings/compat/java/src/cvc3/ValidityChecker.java +++ b/src/bindings/compat/java/src/cvc3/ValidityChecker.java @@ -312,8 +312,6 @@ public class ValidityChecker extends Embedded { private static native Object jniTupleExpr(Object ValidityChecker, Object[] Exprs) throws Cvc3Exception; private static native Object - jniTupleSelectExpr(Object ValidityChecker, Object ExprTuple, int index) throws Cvc3Exception; - private static native Object jniTupleUpdateExpr(Object ValidityChecker, Object ExprTuple, int index, Object ExprNewValue) throws Cvc3Exception; private static native Object @@ -1380,12 +1378,6 @@ public class ValidityChecker extends Embedded { embeddedManager()); } - public ExprMut tupleSelectExpr(Expr tuple, int index) throws Cvc3Exception { - return new ExprMut( - jniTupleSelectExpr(embedded(), tuple.embedded(), index), - embeddedManager()); - } - public ExprMut tupleUpdateExpr(Expr tuple, int index, Expr newValue) throws Cvc3Exception { return new ExprMut( jniTupleUpdateExpr(embedded(), tuple.embedded(), index, newValue.embedded()), diff --git a/src/bindings/compat/java/src/cvc3/ValidityChecker_impl.cpp b/src/bindings/compat/java/src/cvc3/ValidityChecker_impl.cpp index 6bab7d2e0..cfda940d8 100644 --- a/src/bindings/compat/java/src/cvc3/ValidityChecker_impl.cpp +++ b/src/bindings/compat/java/src/cvc3/ValidityChecker_impl.cpp @@ -596,10 +596,6 @@ DEFINITION: Java_cvc3_ValidityChecker_jniTupleExpr jobject m ValidityChecker vc cv Expr exprs return embed_copy(env, vc->tupleExpr(exprs)); -DEFINITION: Java_cvc3_ValidityChecker_jniTupleSelectExpr -jobject m ValidityChecker vc c Expr tuple n int index -return embed_copy(env, vc->tupleSelectExpr(*tuple, index)); - DEFINITION: Java_cvc3_ValidityChecker_jniTupleUpdateExpr jobject m ValidityChecker vc c Expr tuple n int index c Expr value return embed_copy(env, vc->tupleUpdateExpr(*tuple, index, *value)); |