diff options
Diffstat (limited to 'src/libavoid/vpsc.h')
| -rw-r--r-- | src/libavoid/vpsc.h | 7 |
1 files changed, 5 insertions, 2 deletions
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<Block*> { |