diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-09-06 20:52:16 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-06 20:52:16 -0500 |
commit | 1c09572e0e2031519a103caa2a4af0d9bd34a9c5 (patch) | |
tree | 576012b4e9434bd4b8472b5df766d3836d3145b9 /src/options/options_public_functions.cpp | |
parent | 856701f3b2154646eab6b7898fa33e5917322a7b (diff) |
Remove portfolio (#3236)
Diffstat (limited to 'src/options/options_public_functions.cpp')
-rw-r--r-- | src/options/options_public_functions.cpp | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/src/options/options_public_functions.cpp b/src/options/options_public_functions.cpp index 43b44b93e..a753c08de 100644 --- a/src/options/options_public_functions.cpp +++ b/src/options/options_public_functions.cpp @@ -170,18 +170,6 @@ const std::string& Options::getForceLogicString() const{ return (*this)[options::forceLogicString]; } -const std::vector<std::string>& Options::getThreadArgv() const{ - return (*this)[options::threadArgv]; -} - -int Options::getSharingFilterByLength() const{ - return (*this)[options::sharingFilterByLength]; -} - -int Options::getThreadId() const{ - return (*this)[options::thread_id]; -} - int Options::getVerbosity() const{ return (*this)[options::verbosity]; } @@ -215,22 +203,6 @@ unsigned Options::getParseStep() const{ return (*this)[options::parseStep]; } -unsigned Options::getThreadStackSize() const{ - return (*this)[options::threadStackSize]; -} - -unsigned Options::getThreads() const{ - return (*this)[options::threads]; -} - -int Options::currentGetSharingFilterByLength() { - return current()->getSharingFilterByLength(); -} - -int Options::currentGetThreadId() { - return current()->getThreadId(); -} - std::ostream* Options::currentGetOut() { return current()->getOut(); } @@ -254,14 +226,6 @@ void Options::setOutputLanguage(OutputLanguage value) { set(options::outputLanguage, value); } -void Options::setSharingFilterByLength(int length) { - set(options::sharingFilterByLength, length); -} - -void Options::setThreadId(int value) { - set(options::thread_id, value); -} - bool Options::wasSetByUserCeGuidedInst() const { return wasSetByUser(options::ceGuidedInst); } @@ -286,14 +250,6 @@ bool Options::wasSetByUserInteractive() const { return wasSetByUser(options::interactive); } -bool Options::wasSetByUserThreadStackSize() const { - return wasSetByUser(options::threadStackSize); -} - -bool Options::wasSetByUserThreads() const { - return wasSetByUser(options::threads); -} - void Options::flushErr() { if(getErr() != NULL) { |