1 2 /* 3 * File Selector.hpp. 4 * 5 * This file is part of the source code of the software program 6 * Vampire. It is protected by applicable 7 * copyright laws. 8 * 9 * This source code is distributed under the licence found here 10 * https://vprover.github.io/license.html 11 * and in the source directory 12 * 13 * In summary, you are allowed to use Vampire for non-commercial 14 * purposes but not allowed to distribute, modify, copy, create derivatives, 15 * or use in competitions. 16 * For other uses of Vampire please contact developers for a different 17 * licence, which we will make an effort to provide. 18 */ 19 /** 20 * @file Selector.hpp 21 * Defines class Selector. 22 */ 23 24 #ifndef __Selector__ 25 #define __Selector__ 26 27 #include "Forwards.hpp" 28 29 #include "Shell/SineUtils.hpp" 30 #include "Lib/VString.hpp" 31 32 #include "Storage.hpp" 33 34 namespace Shell 35 { 36 namespace LTB 37 { 38 39 using namespace std; 40 using namespace Kernel; 41 42 class Selector 43 { 44 public: Selector()45 Selector() : _storage(true) {} theoryFileNames()46 StringList* theoryFileNames() 47 { return _storage.getTheoryFileNames(); } 48 49 void selectForProblem(UnitList*& units); 50 private: 51 Storage _storage; 52 }; 53 54 } 55 } 56 57 #endif // __Selector__ 58