diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-02-26 00:08:20 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-26 00:08:20 -0800 |
commit | 50c31e61ab240ccd551a0aea732f8b9a88d7fb32 (patch) | |
tree | 30531d1f4813ed399209d198ca1eb75ac6f9dc30 /src/options/options_public_functions.cpp | |
parent | b28ff31b6713791f27b4860f439aaa3f63aab9d7 (diff) |
Remove portfolio leftovers (#3821)
Commit 1c09572e0e2031519a103caa2a4af0d9bd34a9c5 removed the portfolio
build but there were some leftovers. This commit removes them.
Diffstat (limited to 'src/options/options_public_functions.cpp')
-rw-r--r-- | src/options/options_public_functions.cpp | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/options/options_public_functions.cpp b/src/options/options_public_functions.cpp index 6548150aa..a556f2152 100644 --- a/src/options/options_public_functions.cpp +++ b/src/options/options_public_functions.cpp @@ -82,10 +82,6 @@ bool Options::getEarlyExit() const{ return (*this)[options::earlyExit]; } -bool Options::getFallbackSequential() const{ - return (*this)[options::fallbackSequential]; -} - bool Options::getFilesystemAccess() const{ return (*this)[options::filesystemAccess]; } @@ -98,10 +94,6 @@ bool Options::getHelp() const{ return (*this)[options::help]; } -bool Options::getIncrementalParallel() const{ - return (*this)[options::incrementalParallel]; -} - bool Options::getIncrementalSolving() const{ return (*this)[options::incrementalSolving]; } @@ -166,10 +158,6 @@ bool Options::getVersion() const{ return (*this)[options::version]; } -bool Options::getWaitToJoin() const{ - return (*this)[options::waitToJoin]; -} - const std::string& Options::getForceLogicString() const{ return (*this)[options::forceLogicString]; } |