projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f3c38e) | patch
Add std::vector<Term> Op:: getIndices() and operator[] for Op (#6397)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Thu, 22 Jul 2021 07:10:39 +0000 (02:10 -0500)
committerGitHub <noreply@github.com>
Thu, 22 Jul 2021 07:10:39 +0000 (07:10 +0000)
commit4474b45a7c772f2b186c8a020620e2c986170353
tree6be0e9dea0926e710a84e0ce382382650e2ac969tree
parent3f3c38e4d1a9aa2b820760a678e42ea85b027259commit | diff
Add std::vector<Term> Op:: getIndices() and operator[] for Op (#6397)
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
test/unit/api/op_black.cpp diff | blob | history