Definition in file NumberGen.h.
#include <map>
#include "Log.h"
#include "LogIdSet.h"
#include "params.h"
#include "mace-macros.h"
#include "mstring.h"


Go to the source code of this file.
Classes | |
| class | NumberGen |
| The NumberGen class provides a key based map for generating incremental values. More... | |
1.5.5