projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0bfa39) | patch
[API] Support `Op::operator[]` in Java and Python (#8356)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 22 Mar 2022 00:00:58 +0000 (17:00 -0700)
committerGitHub <noreply@github.com>
Tue, 22 Mar 2022 00:00:58 +0000 (17:00 -0700)
commite3f8ea19324685c25df378bd078a11bfcf639b77
treefadbc50a96fffa1bcc2cb178e02be9af1d4cbc49tree
parentc0bfa39a9846284eed5bbf9a3caf72e3b817a192commit | diff
[API] Support `Op::operator[]` in Java and Python (#8356)

This commit adds support for `Op::operator[]` in Java and Python and
updates all unit tests to be consistent.
src/api/java/io/github/cvc5/api/Op.java diff | blob | history
src/api/java/jni/op.cpp diff | blob | history
src/api/python/cvc5.pxd diff | blob | history
src/api/python/cvc5.pxi diff | blob | history
test/unit/api/cpp/op_black.cpp diff | blob | history
test/unit/api/java/OpTest.java diff | blob | history
test/unit/api/python/test_op.py diff | blob | history