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... |