Remove portfolio (#3236)

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) {