lambda_

FastLAS compilation Solve.cpp

Sep 24th, 2021 (edited)
1,078
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. [  4%] Building CXX object CMakeFiles/FastLAS_LIB.dir/.parser.cpp.o
  2. [  8%] Building CXX object CMakeFiles/FastLAS_LIB.dir/.tokens.cpp.o
  3. [ 13%] Building CXX object CMakeFiles/FastLAS_LIB.dir/nodes/NTerm.cpp.o
  4. [ 17%] Building CXX object CMakeFiles/FastLAS_LIB.dir/nodes/NAtom.cpp.o
  5. [ 21%] Building CXX object CMakeFiles/FastLAS_LIB.dir/nodes/NRule.cpp.o
  6. [ 26%] Building CXX object CMakeFiles/FastLAS_LIB.dir/nodes/NChoice.cpp.o
  7. [ 30%] Building CXX object CMakeFiles/FastLAS_LIB.dir/nodes/NComplexExpr.cpp.o
  8. [ 34%] Building CXX object CMakeFiles/FastLAS_LIB.dir/Example.cpp.o
  9. [ 39%] Building CXX object CMakeFiles/FastLAS_LIB.dir/Utils.cpp.o
  10. [ 43%] Building CXX object CMakeFiles/FastLAS_LIB.dir/stages/Abduce.cpp.o
  11. [ 47%] Building CXX object CMakeFiles/FastLAS_LIB.dir/stages/SatSuff.cpp.o
  12. [ 52%] Building CXX object CMakeFiles/FastLAS_LIB.dir/stages/Generalise.cpp.o
  13. [ 56%] Building CXX object CMakeFiles/FastLAS_LIB.dir/stages/Optimise.cpp.o
  14. [ 60%] Building CXX object CMakeFiles/FastLAS_LIB.dir/stages/OptimiseSym.cpp.o
  15. [ 65%] Building CXX object CMakeFiles/FastLAS_LIB.dir/stages/Solve.cpp.o
  16. In file included from ~/FastLAS/FastLAS2/implementation/stages/Solve.h:29,
  17.                  from ~/FastLAS/FastLAS2/implementation/stages/Solve.cpp:26:
  18. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:56:23: error: ‘string’ is not a member of ‘std’
  19.    56 |         std::map<std::string, std::string> types;
  20.       |                       ^~~~~~
  21. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:31:1: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  22.    30 | #include <map>
  23.   +++ |+#include <string>
  24.    31 |
  25. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:56:36: error: ‘string’ is not a member of ‘std’
  26.    56 |         std::map<std::string, std::string> types;
  27.       |                                    ^~~~~~
  28. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:56:36: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  29. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:56:42: error: template argument 1 is invalid
  30.    56 |         std::map<std::string, std::string> types;
  31.       |                                          ^
  32. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:56:42: error: template argument 2 is invalid
  33. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:56:42: error: template argument 3 is invalid
  34. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:56:42: error: template argument 4 is invalid
  35. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:58:14: error: ‘string’ in namespace ‘std’ does not name a type
  36.    58 |         std::string print() const;
  37.       |              ^~~~~~
  38. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:58:9: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  39.    58 |         std::string print() const;
  40.       |         ^~~
  41. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:59:14: error: ‘string’ in namespace ‘std’ does not name a type
  42.    59 |         std::string print_useful_assignments() const;
  43.       |              ^~~~~~
  44. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:59:9: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  45.    59 |         std::string print_useful_assignments() const;
  46.       |         ^~~
  47. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:60:14: error: ‘string’ in namespace ‘std’ does not name a type
  48.    60 |         std::string print_violating_assignments() const;
  49.       |              ^~~~~~
  50. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:60:9: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  51.    60 |         std::string print_violating_assignments() const;
  52.       |         ^~~
  53. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:61:14: error: ‘string’ in namespace ‘std’ does not name a type
  54.    61 |         std::string print_intermediate_representation() const;
  55.       |              ^~~~~~
  56. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:61:9: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  57.    61 |         std::string print_intermediate_representation() const;
  58.       |         ^~~
  59. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:62:14: error: ‘string’ in namespace ‘std’ does not name a type
  60.    62 |         std::string intermediate_meta_representation() const;
  61.       |              ^~~~~~
  62. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:62:9: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  63.    62 |         std::string intermediate_meta_representation() const;
  64.       |         ^~~
  65. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:63:14: error: ‘string’ in namespace ‘std’ does not name a type
  66.    63 |         std::string optimise_representation() const;
  67.       |              ^~~~~~
  68. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:63:9: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  69.    63 |         std::string optimise_representation() const;
  70.       |         ^~~
  71. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:69:14: error: ‘string’ in namespace ‘std’ does not name a type
  72.    69 |         std::string substitute(const std::map<std::string, std::string>&) const;
  73.       |              ^~~~~~
  74. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:69:9: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  75.    69 |         std::string substitute(const std::map<std::string, std::string>&) const;
  76.       |         ^~~
  77. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:73:44: error: ‘string’ is not a member of ‘std’
  78.    73 |         void set_types(const std::map<std::string, std::string>&);
  79.       |                                            ^~~~~~
  80. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:73:44: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  81. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:73:57: error: ‘string’ is not a member of ‘std’
  82.    73 |         void set_types(const std::map<std::string, std::string>&);
  83.       |                                                         ^~~~~~
  84. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:73:57: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  85. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:73:63: error: template argument 1 is invalid
  86.    73 |         void set_types(const std::map<std::string, std::string>&);
  87.       |                                                               ^
  88. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:73:63: error: template argument 2 is invalid
  89. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:73:63: error: template argument 3 is invalid
  90. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:73:63: error: template argument 4 is invalid
  91. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:74:66: error: ‘string’ is not a member of ‘std’
  92.    74 |         void set_intermediate_representation(const std::set<std::string>&);
  93.       |                                                                  ^~~~~~
  94. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:74:66: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  95. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:74:72: error: template argument 1 is invalid
  96.    74 |         void set_intermediate_representation(const std::set<std::string>&);
  97.       |                                                                        ^
  98. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:74:72: error: template argument 2 is invalid
  99. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:74:72: error: template argument 3 is invalid
  100. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:78:14: error: ‘string’ in namespace ‘std’ does not name a type
  101.    78 |         std::string to_cache_string() const;
  102.       |              ^~~~~~
  103. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:78:9: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  104.    78 |         std::string to_cache_string() const;
  105.       |         ^~~
  106. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:48: error: ‘string’ is not a member of ‘std’
  107.    95 |         Schema* get_schema(const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
  108.       |                                                ^~~~~~
  109. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:48: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  110. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:59: error: template argument 1 is invalid
  111.    95 |         Schema* get_schema(const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
  112.       |                                                           ^
  113. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:59: error: template argument 3 is invalid
  114. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:59: error: template argument 4 is invalid
  115. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:98: error: ‘string’ is not a member of ‘std’
  116.    95 |         Schema* get_schema(const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
  117.       |                                                                                                  ^~~~~~
  118. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:98: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  119. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:111: error: ‘string’ is not a member of ‘std’
  120.    95 |         Schema* get_schema(const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
  121.       |                                                                                                               ^~~~~~
  122. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:111: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  123. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:117: error: template argument 1 is invalid
  124.    95 |         Schema* get_schema(const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
  125.       |                                                                                                                     ^
  126. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:117: error: template argument 2 is invalid
  127. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:117: error: template argument 3 is invalid
  128. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:117: error: template argument 4 is invalid
  129. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:42: error: ‘string’ is not a member of ‘std’
  130.    97 |         std::map<std::pair<std::map<std::string, int>, std::map<std::string, std::string>>, Schema*> cached_schemas;
  131.       |                                          ^~~~~~
  132. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:42: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  133. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:53: error: template argument 1 is invalid
  134.    97 |         std::map<std::pair<std::map<std::string, int>, std::map<std::string, std::string>>, Schema*> cached_schemas;
  135.       |                                                     ^
  136. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:53: error: template argument 3 is invalid
  137. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:53: error: template argument 4 is invalid
  138. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:70: error: ‘string’ is not a member of ‘std’
  139.    97 |         std::map<std::pair<std::map<std::string, int>, std::map<std::string, std::string>>, Schema*> cached_schemas;
  140.       |                                                                      ^~~~~~
  141. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:70: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  142. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:83: error: ‘string’ is not a member of ‘std’
  143.    97 |         std::map<std::pair<std::map<std::string, int>, std::map<std::string, std::string>>, Schema*> cached_schemas;
  144.       |                                                                                   ^~~~~~
  145. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:83: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  146. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:83: error: template argument 1 is invalid
  147. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:83: error: template argument 2 is invalid
  148. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:83: error: template argument 3 is invalid
  149. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:83: error: template argument 4 is invalid
  150. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:89: error: template argument 1 is invalid
  151.    97 |         std::map<std::pair<std::map<std::string, int>, std::map<std::string, std::string>>, Schema*> cached_schemas;
  152.       |                                                                                         ^~
  153. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:89: error: template argument 2 is invalid
  154. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:100: error: template argument 1 is invalid
  155.    97 |         std::map<std::pair<std::map<std::string, int>, std::map<std::string, std::string>>, Schema*> cached_schemas;
  156.       |                                                                                                    ^
  157. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:100: error: template argument 3 is invalid
  158. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:100: error: template argument 4 is invalid
  159. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:100:23: error: ‘string’ is not a member of ‘std’
  160.   100 |         std::set<std::string> intermediate_representation;
  161.       |                       ^~~~~~
  162. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:100:23: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  163. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:100:29: error: template argument 1 is invalid
  164.   100 |         std::set<std::string> intermediate_representation;
  165.       |                             ^
  166. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:100:29: error: template argument 2 is invalid
  167. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:100:29: error: template argument 3 is invalid
  168. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:119:10: error: ‘string’ in namespace ‘std’ does not name a type
  169.   119 |     std::string print() const;
  170.       |          ^~~~~~
  171. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:119:5: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  172.   119 |     std::string print() const;
  173.       |     ^~~
  174. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:120:10: error: ‘string’ in namespace ‘std’ does not name a type
  175.   120 |     std::string print_assignment() const;
  176.       |          ^~~~~~
  177. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:120:5: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  178.   120 |     std::string print_assignment() const;
  179.       |     ^~~
  180. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:121:10: error: ‘string’ in namespace ‘std’ does not name a type
  181.   121 |     std::string to_cache_string() const;
  182.       |          ^~~~~~
  183. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:121:5: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  184.   121 |     std::string to_cache_string() const;
  185.       |     ^~~
  186. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:125:87: error: ‘string’ is not a member of ‘std’
  187.   125 |     static void add_cached_schema(const int& id, const int& rule, const std::map<std::string, int>& var_assignment);
  188.       |                                                                                       ^~~~~~
  189. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:125:87: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  190. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:125:98: error: template argument 1 is invalid
  191.   125 |     static void add_cached_schema(const int& id, const int& rule, const std::map<std::string, int>& var_assignment);
  192.       |                                                                                                  ^
  193. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:125:98: error: template argument 3 is invalid
  194. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:125:98: error: template argument 4 is invalid
  195. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:95: error: ‘string’ is not a member of ‘std’
  196.   126 |     static Schema* get_schema(const int& head, const std::set<int>& body, const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
  197.       |                                                                                               ^~~~~~
  198. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:95: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  199. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:106: error: template argument 1 is invalid
  200.   126 |     static Schema* get_schema(const int& head, const std::set<int>& body, const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
  201.       |                                                                                                          ^
  202. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:106: error: template argument 3 is invalid
  203. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:106: error: template argument 4 is invalid
  204. In file included from ~/FastLAS/FastLAS2/implementation/stages/Solve.h:29,
  205.                  from ~/FastLAS/FastLAS2/implementation/stages/Solve.cpp:26:
  206. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:145: error: ‘string’ is not a member of ‘std’
  207.   126 |     static Schema* get_schema(const int& head, const std::set<int>& body, const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
  208.       |                                                                                                                                                 ^~~~~~
  209. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:145: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  210. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:158: error: ‘string’ is not a member of ‘std’
  211.   126 |     static Schema* get_schema(const int& head, const std::set<int>& body, const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
  212.       |                                                                                                                                                              ^~~~~~
  213. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:158: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  214. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:164: error: template argument 1 is invalid
  215.   126 |     static Schema* get_schema(const int& head, const std::set<int>& body, const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
  216.       |                                                                                                                                                                    ^
  217. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:164: error: template argument 2 is invalid
  218. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:164: error: template argument 3 is invalid
  219. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:164: error: template argument 4 is invalid
  220. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:132:25: error: ‘string’ is not a member of ‘std’
  221.   132 |     const std::map<std::string, int> var_assignment;
  222.       |                         ^~~~~~
  223. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:132:25: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  224. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:132:36: error: template argument 1 is invalid
  225.   132 |     const std::map<std::string, int> var_assignment;
  226.       |                                    ^
  227. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:132:36: error: template argument 3 is invalid
  228. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:132:36: error: template argument 4 is invalid
  229. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:133:25: error: ‘string’ is not a member of ‘std’
  230.   133 |     const std::map<std::string, std::string> types;
  231.       |                         ^~~~~~
  232. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:133:25: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  233. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:133:38: error: ‘string’ is not a member of ‘std’
  234.   133 |     const std::map<std::string, std::string> types;
  235.       |                                      ^~~~~~
  236. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:133:38: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  237. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:133:44: error: template argument 1 is invalid
  238.   133 |     const std::map<std::string, std::string> types;
  239.       |                                            ^
  240. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:133:44: error: template argument 2 is invalid
  241. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:133:44: error: template argument 3 is invalid
  242. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:133:44: error: template argument 4 is invalid
  243. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:50: error: ‘string’ is not a member of ‘std’
  244.   143 |     Schema(RuleSchema* rule, const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
  245.       |                                                  ^~~~~~
  246. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:50: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  247. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:61: error: template argument 1 is invalid
  248.   143 |     Schema(RuleSchema* rule, const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
  249.       |                                                             ^
  250. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:61: error: template argument 3 is invalid
  251. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:61: error: template argument 4 is invalid
  252. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:100: error: ‘string’ is not a member of ‘std’
  253.   143 |     Schema(RuleSchema* rule, const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
  254.       |                                                                                                    ^~~~~~
  255. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:100: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  256. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:113: error: ‘string’ is not a member of ‘std’
  257.   143 |     Schema(RuleSchema* rule, const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
  258.       |                                                                                                                 ^~~~~~
  259. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:113: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  260. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:119: error: template argument 1 is invalid
  261.   143 |     Schema(RuleSchema* rule, const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
  262.       |                                                                                                                       ^
  263. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:119: error: template argument 2 is invalid
  264. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:119: error: template argument 3 is invalid
  265. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:119: error: template argument 4 is invalid
  266. In file included from ~/FastLAS/FastLAS2/implementation/stages/Solve.cpp:26:
  267. ~/FastLAS/FastLAS2/implementation/stages/Solve.h:38:24: error: ‘string’ is not a member of ‘std’
  268.    38 |   extern std::set<std::string> sat_intermediate_facts;
  269.       |                        ^~~~~~
  270. ~/FastLAS/FastLAS2/implementation/stages/Solve.h:30:1: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  271.    29 | #include "../RuleSchema.h"
  272.   +++ |+#include <string>
  273.    30 |
  274. ~/FastLAS/FastLAS2/implementation/stages/Solve.h:38:30: error: template argument 1 is invalid
  275.    38 |   extern std::set<std::string> sat_intermediate_facts;
  276.       |                              ^
  277. ~/FastLAS/FastLAS2/implementation/stages/Solve.h:38:30: error: template argument 2 is invalid
  278. ~/FastLAS/FastLAS2/implementation/stages/Solve.h:38:30: error: template argument 3 is invalid
  279. ~/FastLAS/FastLAS2/implementation/stages/Solve.h:39:15: error: ‘string’ in namespace ‘std’ does not name a type
  280.    39 |   extern std::string solution;
  281.       |               ^~~~~~
  282. ~/FastLAS/FastLAS2/implementation/stages/Solve.h:39:10: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  283.    39 |   extern std::string solution;
  284.       |          ^~~
  285. ~/FastLAS/FastLAS2/implementation/stages/Solve.cpp:51:15: error: conflicting declaration ‘std::set<std::__cxx11::basic_string<char> > FastLAS::sat_intermediate_facts’
  286.    51 |   set<string> sat_intermediate_facts;
  287.       |               ^~~~~~~~~~~~~~~~~~~~~~
  288. In file included from ~/FastLAS/FastLAS2/implementation/stages/Solve.cpp:26:
  289. ~/FastLAS/FastLAS2/implementation/stages/Solve.h:38:32: note: previous declaration as ‘int FastLAS::sat_intermediate_facts’
  290.    38 |   extern std::set<std::string> sat_intermediate_facts;
  291.       |                                ^~~~~~~~~~~~~~~~~~~~~~
  292. ~/FastLAS/FastLAS2/implementation/stages/Solve.cpp: In function ‘void FastLAS::solve()’:
  293. ~/FastLAS/FastLAS2/implementation/stages/Solve.cpp:114:14: error: ‘class Schema::RuleSchema’ has no member named ‘intermediate_meta_representation’; did you mean ‘int Schema::RuleSchema::intermediate_representation’? (not accessible from this context)
  294.   114 |     ss << d->intermediate_meta_representation();
  295.       |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  296. In file included from ~/FastLAS/FastLAS2/implementation/stages/Solve.h:29,
  297.                  from ~/FastLAS/FastLAS2/implementation/stages/Solve.cpp:26:
  298. ~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:100:31: note: declared private here
  299.   100 |         std::set<std::string> intermediate_representation;
  300.       |                               ^~~~~~~~~~~~~~~~~~~~~~~~~~~
  301. ~/FastLAS/FastLAS2/implementation/stages/Solve.cpp: In lambda function:
  302. ~/FastLAS/FastLAS2/implementation/stages/Solve.cpp:162:28: error: ‘class Schema::RuleSchema’ has no member named ‘print’
  303.   162 |       solution_ss << rule->print() << endl;
  304.       |                            ^~~~~
  305. ~/FastLAS/FastLAS2/implementation/stages/Solve.cpp: In lambda function:
  306. ~/FastLAS/FastLAS2/implementation/stages/Solve.cpp:168:30: error: request for member ‘insert’ in ‘FastLAS::sat_intermediate_facts’, which is of non-class type ‘int’
  307.   168 |       sat_intermediate_facts.insert(atom);
  308.       |                              ^~~~~~
  309. make[2]: *** [CMakeFiles/FastLAS_LIB.dir/build.make:284: CMakeFiles/FastLAS_LIB.dir/stages/Solve.cpp.o] Error 1
  310. make[1]: *** [CMakeFiles/Makefile2:111: CMakeFiles/FastLAS_LIB.dir/all] Error 2
  311. make: *** [Makefile:91: all] Error 2
  312.  
RAW Paste Data