From 0f78238b7e6f6a71b509230d6e8574e811c65855 Mon Sep 17 00:00:00 2001 From: Alex Horn Date: Tue, 12 May 2015 13:18:51 +0100 Subject: [PATCH 1/3] Fix typo in documentation Signed-off-by: Alex Horn --- src/muz/base/dl_context.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/muz/base/dl_context.h b/src/muz/base/dl_context.h index 9da4700e6..9f94bd869 100644 --- a/src/muz/base/dl_context.h +++ b/src/muz/base/dl_context.h @@ -300,7 +300,7 @@ namespace datalog { /** Register datalog relation. - If names is true, we associate the predicate with its name, so that it can be + If named is true, we associate the predicate with its name, so that it can be retrieved by the try_get_predicate_decl() function. Auxiliary predicates introduced e.g. by rule transformations do not need to be named. */ From efaba8eb408e69f0b345a74ed44f9966fa9b6576 Mon Sep 17 00:00:00 2001 From: Alex Horn Date: Tue, 12 May 2015 14:22:32 +0100 Subject: [PATCH 2/3] Fix negation in documentation Signed-off-by: Alex Horn --- src/muz/rel/dl_base.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/muz/rel/dl_base.h b/src/muz/rel/dl_base.h index 2dffa04f6..c14977c04 100644 --- a/src/muz/rel/dl_base.h +++ b/src/muz/rel/dl_base.h @@ -470,7 +470,7 @@ namespace datalog { \brief fast emptiness check. This may be partial. The requirement is that if fast_empty returns true 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(); } From e576ca50bf425a0f3a612db8447fef8fa45b785a Mon Sep 17 00:00:00 2001 From: Alex Horn Date: Tue, 12 May 2015 14:24:59 +0100 Subject: [PATCH 3/3] Fix typo in documentation Signed-off-by: Alex Horn --- src/muz/rel/dl_base.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/muz/rel/dl_base.h b/src/muz/rel/dl_base.h index c14977c04..268cc602e 100644 --- a/src/muz/rel/dl_base.h +++ b/src/muz/rel/dl_base.h @@ -88,7 +88,7 @@ namespace datalog { typedef typename Traits::signature signature; //this must be a vector-like type /** - The client submits an initial class to be used as a base for signature. Then we excend it by + The client submits an initial class to be used as a base for signature. Then we extend it by the common signature methods into a signature_base class which then the client inherits from to obtain the actual signature class. */