mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 21:38:44 +00:00
Code Activity

Fix negation in documentation

Browse source 
Signed-off-by: Alex Horn <t-alexh@microsoft.com>
This commit is contained in:
Alex Horn 2015-05-12 14:22:32 +01:00
parent 0f78238b7e
commit efaba8eb40
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/muz/rel/dl_base.h
View file

@ -470,7 +470,7 @@ namespace datalog {
\brief fast emptiness check. This may be partial. \brief fast emptiness check. This may be partial.
The requirement is that if fast_empty returns true The requirement is that if fast_empty returns true
then the table or relation is in fact empty. then the table or relation is in fact empty.
It is allowed to return false even if the relation is non-empty. It is allowed to return false even if the relation is empty.
*/ */
virtual bool fast_empty() const { return empty(); } virtual bool fast_empty() const { return empty(); }