diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-11-04 16:52:06 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-11-04 16:52:06 +0000 |
| commit | 37812f8ad9743b372608e871efe3e336c4ebd631 (patch) | |
| tree | 704591a3151169ed998956cbe4b85be8725941c2 /src/util | |
| parent | b5fd5b61a9f0f993703497fb1c8d678cf2d8bb01 (diff) | |
STRING_TYPE and CONST_STRING and associate type infrastructure implemented.
Diffstat (limited to 'src/util')
| -rw-r--r-- | src/util/hash.h | 6 | ||||
| -rw-r--r-- | src/util/options.cpp | 2 |
2 files changed, 7 insertions, 1 deletions
diff --git a/src/util/hash.h b/src/util/hash.h index bd3fee597..6183c5208 100644 --- a/src/util/hash.h +++ b/src/util/hash.h @@ -36,6 +36,12 @@ struct StringHashFunction { } };/* struct StringHashFunction */ +struct StringHashStrategy { + static size_t hash(const std::string& str) { + return std::hash<const char*>()(str.c_str()); + } +};/* struct StringHashStrategy */ + }/* CVC4 namespace */ #endif /* __CVC4__HASH_H */ diff --git a/src/util/options.cpp b/src/util/options.cpp index 7decc693b..94ddf082f 100644 --- a/src/util/options.cpp +++ b/src/util/options.cpp @@ -102,7 +102,7 @@ Options::Options() : static const string mostCommonOptionsDescription = "\ Most commonly-used CVC4 options:\n\ --version | -V identify this CVC4 binary\n\ - --help | -h this command line reference\n\ + --help | -h full command line reference\n\ --lang | -L force input language (default is `auto'; see --lang help)\n\ --output-lang force output language (default is `auto'; see --lang help)\n\ --verbose | -v increase verbosity (may be repeated)\n\ |