text: /******************************************************************************
   * Copyright (c) 2017 Philipp Schubert.
   * All rights reserved. This program and the accompanying materials are made
   * available under the terms of LICENSE.txt.
   *
   * Contributors:
   *     Philipp Schubert and others
   *****************************************************************************/
  
  #include <phasar/PhasarLLVM/Plugins/PluginFactories.h>
  using namespace std;
  using namespace psr;
  
  namespace psr {
  
  // Maps for registering the plugins
  map<string, unique_ptr<IFDSTabulationProblemPlugin> (*)(LLVMBasedICFG &,
                                                          vector<string>,
                                                          std::map<std::string, std::string>)>
      IFDSTabulationProblemPluginFactory;
  
  map<string,
      unique_ptr<IDETabulationProblemPlugin> (*)(LLVMBasedICFG &, vector<string>)>
      IDETabulationProblemPluginFactory;
  
  map<string, unique_ptr<IntraMonoProblemPlugin> (*)()>
      IntraMonoProblemPluginFactory;
  
  map<string, unique_ptr<InterMonoProblemPlugin> (*)()>
      InterMonoProblemPluginFactory;
  
  map<string,
      unique_ptr<ICFGPlugin> (*)(ProjectIRDB &, const vector<string> EntryPoints)>
      ICFGPluginFactory;
  
  } // namespace psr
  