diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2010-02-13 16:55:11 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2010-02-13 16:55:11 +0000 |
| commit | 7992e65722423c7a6fb70591155a48cdbda6c262 (patch) | |
| tree | c3df250e56eccd0815ff3b7d674b9b575dbc0ea6 /include | |
| parent | 14fabaafba1f6703c7eb4d3403a44f9669206709 (diff) | |
| download | klee-7992e65722423c7a6fb70591155a48cdbda6c262.tar.gz | |
Fix some doxyments, patch by Peter Collingbourne!
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@96101 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include')
| -rw-r--r-- | include/expr/Lexer.h | 48 | ||||
| -rw-r--r-- | include/klee/Expr.h | 10 |
2 files changed, 29 insertions, 29 deletions
diff --git a/include/expr/Lexer.h b/include/expr/Lexer.h index a8719b4d..6cce8031 100644 --- a/include/expr/Lexer.h +++ b/include/expr/Lexer.h @@ -20,30 +20,30 @@ namespace klee { namespace expr { struct Token { enum Kind { - At, /// '@' - Arrow, /// '->' - Colon, /// ':' - Comma, /// ',' - Comment, /// #[^\n]+ - EndOfFile, /// <end of file> - Equals, /// ' = ' - Identifier, /// [a-zA-Z_][a-zA-Z0-9._]* - KWArray, /// 'array' - KWFalse, /// 'false' - KWQuery, /// 'query' - KWReserved, /// fp[0-9]+([.].*)?, i[0-9]+ - KWSymbolic, /// 'symbolic' - KWTrue, /// 'true' - KWWidth, /// w[0-9]+ - LBrace, /// '{' - LParen, /// '(' - LSquare, /// '[' - Number, /// [+-]?[0-9][a-zA-Z0-9_]+ - RBrace, /// '}' - RParen, /// ')' - RSquare, /// ']' - Semicolon, /// ';' - Unknown, /// <other> + At, ///< '@' + Arrow, ///< '->' + Colon, ///< ':' + Comma, ///< ',' + Comment, ///< #[^\n]+ + EndOfFile, ///< <end of file> + Equals, ///< ' = ' + Identifier, ///< [a-zA-Z_][a-zA-Z0-9._]* + KWArray, ///< 'array' + KWFalse, ///< 'false' + KWQuery, ///< 'query' + KWReserved, ///< fp[0-9]+([.].*)?, i[0-9]+ + KWSymbolic, ///< 'symbolic' + KWTrue, ///< 'true' + KWWidth, ///< w[0-9]+ + LBrace, ///< '{' + LParen, ///< '(' + LSquare, ///< '[' + Number, ///< [+-]?[0-9][a-zA-Z0-9_]+ + RBrace, ///< '}' + RParen, ///< ')' + RSquare, ///< ']' + Semicolon, ///< ';' + Unknown, ///< <other> KWKindFirst=KWArray, KWKindLast=KWWidth diff --git a/include/klee/Expr.h b/include/klee/Expr.h index b0f36e1c..a1a1bc27 100644 --- a/include/klee/Expr.h +++ b/include/klee/Expr.h @@ -143,15 +143,15 @@ public: // Compare Eq, - Ne, /// Not used in canonical form + Ne, ///< Not used in canonical form Ult, Ule, - Ugt, /// Not used in canonical form - Uge, /// Not used in canonical form + Ugt, ///< Not used in canonical form + Uge, ///< Not used in canonical form Slt, Sle, - Sgt, /// Not used in canonical form - Sge, /// Not used in canonical form + Sgt, ///< Not used in canonical form + Sge, ///< Not used in canonical form LastKind=Sge, |