From: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date: Tue, 22 Mar 2022 19:14:59 +0000 (-0500)
Subject: update sets-and-relations.rst (#8364)
X-Git-Tag: cvc5-1.0.0~210
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a50a7b0fbf5835f0aecdccefcce0de6d8b906694;p=cvc5.git

update sets-and-relations.rst (#8364)
---

diff --git a/docs/theories/sets-and-relations.rst b/docs/theories/sets-and-relations.rst
index 5184603be..212ffa3d0 100644
--- a/docs/theories/sets-and-relations.rst
+++ b/docs/theories/sets-and-relations.rst
@@ -81,8 +81,8 @@ For example:
   (declare-fun x () (Set Int))
   (declare-fun y () (Set Int))
   (declare-fun z () (Set Int))
-  (assert (member 0 x))
-  (assert (member 1 y))
+  (assert (set.member 0 x))
+  (assert (set.member 1 y))
   (assert (= z (as set.universe (Set Int))))
   (check-sat)
 
@@ -187,4 +187,7 @@ More details can be found in :cite:`MengRTB17`.
 Example:
 
 .. api-examples::
+    <examples>/api/cpp/relations.cpp
+    <examples>/api/java/Relations.java
+    <examples>/api/python/relations.py
     <examples>/api/smtlib/relations.smt2