From 7cd2a14069d9d39b42b19a87d9cc6ba238c71924 Mon Sep 17 00:00:00 2001 From: "Jon A. Cruz" Date: Sun, 23 Oct 2011 01:01:33 -0700 Subject: Documentation update pass. (bzr r10692) --- src/libavoid/vpsc.h | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'src/libavoid') diff --git a/src/libavoid/vpsc.h b/src/libavoid/vpsc.h index 4d6d8ce61..da837c1f8 100644 --- a/src/libavoid/vpsc.h +++ b/src/libavoid/vpsc.h @@ -181,10 +181,13 @@ public: const bool equality; bool unsatisfiable; }; -/* + +/** * A block structure defined over the variables such that each block contains * 1 or more variables, with the invariant that all constraints inside a block - * are satisfied by keeping the variables fixed relative to one another + * are satisfied by keeping the variables fixed relative to one another. + * + * @todo check on this class being copy-n-paste duplicated. */ class Blocks : public std::set { -- cgit v1.2.3