diff options
| -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, |