diff options
Diffstat (limited to 'docs/theories/sets-and-relations.rst')
-rw-r--r-- | docs/theories/sets-and-relations.rst | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/theories/sets-and-relations.rst b/docs/theories/sets-and-relations.rst index 2da6715e3..33c0d4cd0 100644 --- a/docs/theories/sets-and-relations.rst +++ b/docs/theories/sets-and-relations.rst @@ -9,6 +9,7 @@ The simplest way to get a sense of the syntax is to look at an example: .. api-examples:: <examples>/api/cpp/sets.cpp + <examples>/api/java/Sets.java <examples>/api/python/sets.py <examples>/api/smtlib/sets.smt2 @@ -16,7 +17,8 @@ The source code of these examples is available at: * `SMT-LIB 2 language example <https://github.com/cvc5/cvc5/blob/master/examples/api/smtlib/sets.smt2>`__ * `C++ API example <https://github.com/cvc5/cvc5/blob/master/examples/api/cpp/sets.cpp>`__ -* `Python API example <https://github.com/cvc5/cvc5/blob/master/examples/api/python/sets.cpp>`__ +* `Java API example <https://github.com/cvc5/cvc5/blob/master/examples/api/java/Sets.java>`__ +* `Python API example <https://github.com/cvc5/cvc5/blob/master/examples/api/python/sets.py>`__ Below is a short summary of the sorts, constants, functions and |