Go to the documentation of this file.
46 int main(
int argc,
char *argv[])
100 listing = hashset.
toc();
102 Info<<
"old DebugSwitches: " << listing <<
endl;
106 listing = hashset.
toc();
108 Info<<
"old InfoSwitches: " << listing <<
endl;
112 listing = hashset.
toc();
114 Info<<
"old OptimisationSwitches: " << listing <<
endl;
125 listing = hashset.
toc();
127 Info<<
"new DebugSwitches: " << listing <<
endl;
131 listing = hashset.
toc();
133 Info<<
"new InfoSwitches: " << listing <<
endl;
137 listing = hashset.
toc();
139 Info<<
"new OptimisationSwitches: " << listing <<
endl;
147 Info<<
"DebugSwitches: " << currDebug <<
endl;
150 Info<<
"InfoSwitches: " << currInfo <<
endl;
153 Info<<
"OptimisationSwitches: " << currOpt <<
endl;