From a50a7b0fbf5835f0aecdccefcce0de6d8b906694 Mon Sep 17 00:00:00 2001 From: mudathirmahgoub Date: Tue, 22 Mar 2022 14:14:59 -0500 Subject: [PATCH] update sets-and-relations.rst (#8364) --- docs/theories/sets-and-relations.rst | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) 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:: + /api/cpp/relations.cpp + /api/java/Relations.java + /api/python/relations.py /api/smtlib/relations.smt2 -- 2.30.2