Andres Noetzli c0bfa39a98 Remove Op::getIndices() (#8355) ...

This commit removes `Op::getIndices()`. As discussed offline, the
semantics of that method were confusing and the use cases are covered by
`Op::getNumIndices()` and `Op::operator[]()` (which mirror
`Term::getNumChildren()` and `Term::operator[]()`).

Future changes are going to update the Python and Java bindings to
support `Op::operator[]()`.

2022-03-21 23:27:40 +00:00

..

__init__.py

Avoid using printSynthSolution in the python API and examples (#6564)

2021-05-20 15:29:27 +00:00

bitvectors_and_arrays.py

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00

bitvectors.py

Remove unecessary methods from the API (#8260)

2022-03-14 18:29:30 +00:00

CMakeLists.txt

Add relations.cpp, relations.py examples (#7801)

2021-12-17 19:23:16 +00:00

combination.py

Remove unecessary methods from the API (#8260)

2022-03-14 18:29:30 +00:00

datatypes.py

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00

exceptions.py

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00

extract.py

Remove Op::getIndices() (#8355)

2022-03-21 23:27:40 +00:00

floating_point.py

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00

helloworld.py

Remove unecessary methods from the API (#8260)

2022-03-14 18:29:30 +00:00

id.py

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00

linear_arith.py

Remove unecessary methods from the API (#8260)

2022-03-14 18:29:30 +00:00

quickstart.py

Rename kind PLUS -> ADD. (#8036)

2022-02-03 04:25:14 +00:00

relations.py

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00

sequences.py

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00

sets.py

Remove unecessary methods from the API (#8260)

2022-03-14 18:29:30 +00:00

strings.py

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00

sygus-fun.py

Rename kind PLUS -> ADD. (#8036)

2022-02-03 04:25:14 +00:00

sygus-grammar.py

Rename kind PLUS -> ADD. (#8036)

2022-02-03 04:25:14 +00:00

sygus-inv.py

Rename kind PLUS -> ADD. (#8036)

2022-02-03 04:25:14 +00:00

transcendentals.py

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00

utils.py

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00