From: yoni206 Date: Fri, 29 Apr 2022 03:38:35 +0000 (+0300) Subject: Add missing parenthesis for bags documentation (#8673) X-Git-Tag: cvc5-1.0.1~203 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f583df0715165f31dce81771ac02ddbdbf601ac1;p=cvc5.git Add missing parenthesis for bags documentation (#8673) --- diff --git a/docs/theories/bags.rst b/docs/theories/bags.rst index 597885162..a18a66de2 100644 --- a/docs/theories/bags.rst +++ b/docs/theories/bags.rst @@ -17,7 +17,7 @@ a `cvc5::Solver solver` object. +----------------------+----------------------------------------------+-------------------------------------------------------------------------+ | Sort | ``(Bag )`` | ``solver.mkBagSort(cvc5::Sort elementSort);`` | +----------------------+----------------------------------------------+-------------------------------------------------------------------------+ -| Constants | ``(declare-const X (Bag String)`` | ``Sort s = solver.mkBagSort(solver.getStringSort());`` | +| Constants | ``(declare-const X (Bag String))`` | ``Sort s = solver.mkBagSort(solver.getStringSort());`` | | | | | | | | ``Term X = solver.mkConst(s, "X");`` | +----------------------+----------------------------------------------+-------------------------------------------------------------------------+ @@ -41,7 +41,7 @@ a `cvc5::Solver solver` object. +----------------------+----------------------------------------------+-------------------------------------------------------------------------+ | Subbag | ``(bag.subbag X Y)`` | ``Term t = solver.mkTerm(Kind::BAG_SUBBAG, {X, Y});`` | +----------------------+----------------------------------------------+-------------------------------------------------------------------------+ -| Emptybag | ``(as bag.empty (Bag Int)`` | ``Term t = solver.mkEmptyBag(s);`` | +| Emptybag | ``(as bag.empty (Bag Int))`` | ``Term t = solver.mkEmptyBag(s);`` | +----------------------+----------------------------------------------+-------------------------------------------------------------------------+ | Make bag | ``(bag "a" 3)`` | ``Term t = solver.mkTerm(Kind::BAG_MAKE,`` | | | | ``{solver.mkString("a"), solver.mkInteger(1)});`` |