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