diff options
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 |