diff options
| author | mudathirmahgoub <mudathirmahgoub@gmail.com> | 2021-10-01 18:21:02 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-01 23:21:02 +0000 |
| commit | 98e884a740e8e2d1c32c8b60f3197fbae656e619 (patch) | |
| tree | 3fb1b24141ec833240eb71aebd93f383e897b592 /docs | |
| parent | 6405f082a85e2a2ce7e25ff1f8b058f3f42fd58b (diff) | |
Update java examples using the new Java API (#7225)
This PRs updates java examples using the new Java API, by converting C++ examples to Java.
Examples CVC4Streams.java and PipedInput.java are removed since they are not longer supported by the API.
All examples are not included in the build which would be added in a future PR.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/examples/extract.rst | 1 | ||||
| -rw-r--r-- | docs/examples/quickstart.rst | 1 | ||||
| -rw-r--r-- | docs/examples/relations.rst | 1 | ||||
| -rw-r--r-- | docs/examples/sequences.rst | 1 | ||||
| -rw-r--r-- | docs/examples/sets.rst | 1 | ||||
| -rw-r--r-- | docs/examples/sygus-fun.rst | 1 | ||||
| -rw-r--r-- | docs/examples/sygus-grammar.rst | 1 | ||||
| -rw-r--r-- | docs/examples/sygus-inv.rst | 1 |
8 files changed, 8 insertions, 0 deletions
diff --git a/docs/examples/extract.rst b/docs/examples/extract.rst index 61eaa6462..1f6d9b9bf 100644 --- a/docs/examples/extract.rst +++ b/docs/examples/extract.rst @@ -4,5 +4,6 @@ Theory of Bit-Vectors: :code:`extract` .. api-examples:: ../../examples/api/cpp/extract.cpp + ../../examples/api/java/Extract.java ../../examples/api/python/extract.py ../../examples/api/smtlib/extract.smt2 diff --git a/docs/examples/quickstart.rst b/docs/examples/quickstart.rst index bd2c3450a..330cc7065 100644 --- a/docs/examples/quickstart.rst +++ b/docs/examples/quickstart.rst @@ -4,5 +4,6 @@ Quickstart Example .. api-examples:: ../../examples/api/cpp/quickstart.cpp + ../../examples/api/java/QuickStart.java ../../examples/api/python/quickstart.py ../../examples/api/smtlib/quickstart.smt2 diff --git a/docs/examples/relations.rst b/docs/examples/relations.rst index d94fa0aa7..d81eb8fee 100644 --- a/docs/examples/relations.rst +++ b/docs/examples/relations.rst @@ -3,5 +3,6 @@ Theory of Relations .. api-examples:: + ../../examples/api/java/Relations.java ../../examples/api/smtlib/relations.smt2 diff --git a/docs/examples/sequences.rst b/docs/examples/sequences.rst index 569fdfc04..b0a9ab1f1 100644 --- a/docs/examples/sequences.rst +++ b/docs/examples/sequences.rst @@ -4,5 +4,6 @@ Theory of Sequences .. api-examples:: ../../examples/api/cpp/sequences.cpp + ../../examples/api/java/Sequences.java ../../examples/api/python/sequences.py ../../examples/api/smtlib/sequences.smt2 diff --git a/docs/examples/sets.rst b/docs/examples/sets.rst index b0f1fc1da..09cad0cce 100644 --- a/docs/examples/sets.rst +++ b/docs/examples/sets.rst @@ -4,5 +4,6 @@ Theory of Sets .. api-examples:: ../../examples/api/cpp/sets.cpp + ../../examples/api/java/Sets.java ../../examples/api/python/sets.py ../../examples/api/smtlib/sets.smt2 diff --git a/docs/examples/sygus-fun.rst b/docs/examples/sygus-fun.rst index 3d5bddff1..5b22ae833 100644 --- a/docs/examples/sygus-fun.rst +++ b/docs/examples/sygus-fun.rst @@ -4,4 +4,5 @@ SyGuS: Functions .. api-examples:: ../../examples/api/cpp/sygus-fun.cpp + ../../examples/api/java/SygusFun.java ../../examples/api/python/sygus-fun.py diff --git a/docs/examples/sygus-grammar.rst b/docs/examples/sygus-grammar.rst index 3733fe2c3..6c627e22f 100644 --- a/docs/examples/sygus-grammar.rst +++ b/docs/examples/sygus-grammar.rst @@ -4,4 +4,5 @@ SyGuS: Grammars .. api-examples:: ../../examples/api/cpp/sygus-grammar.cpp + ../../examples/api/java/SygusGrammar.java ../../examples/api/python/sygus-grammar.py diff --git a/docs/examples/sygus-inv.rst b/docs/examples/sygus-inv.rst index f9698a720..2fac909ef 100644 --- a/docs/examples/sygus-inv.rst +++ b/docs/examples/sygus-inv.rst @@ -4,4 +4,5 @@ SyGuS: Invariants .. api-examples:: ../../examples/api/cpp/sygus-inv.cpp + ../../examples/api/java/SygusInv.java ../../examples/api/python/sygus-inv.py |