Use the word option instead of key. Key reminds me of hashes

2013-01-10 22:59:12 +00:00
parent f7fcfec8ce
commit f3bd8ad414
6 changed files with 47 additions and 47 deletions
--- a/packages/CLPBN/horus/Util.h
+++ b/packages/CLPBN/horus/Util.h
@@ -81,7 +81,7 @@ string parametersToString (const Params&, unsigned = Constants::PRECISION);

 vector<string> getStateLines (const Vars&);

-bool setHorusFlag (string key, string value);
+bool setHorusFlag (string option, string value);

 void printHeader (string, std::ostream& os = std::cout);