FastLAS compilation Solve.cpp

[  4%] Building CXX object CMakeFiles/FastLAS_LIB.dir/.parser.cpp.o
[  8%] Building CXX object CMakeFiles/FastLAS_LIB.dir/.tokens.cpp.o
[ 13%] Building CXX object CMakeFiles/FastLAS_LIB.dir/nodes/NTerm.cpp.o
[ 17%] Building CXX object CMakeFiles/FastLAS_LIB.dir/nodes/NAtom.cpp.o
[ 21%] Building CXX object CMakeFiles/FastLAS_LIB.dir/nodes/NRule.cpp.o
[ 26%] Building CXX object CMakeFiles/FastLAS_LIB.dir/nodes/NChoice.cpp.o
[ 30%] Building CXX object CMakeFiles/FastLAS_LIB.dir/nodes/NComplexExpr.cpp.o
[ 34%] Building CXX object CMakeFiles/FastLAS_LIB.dir/Example.cpp.o
[ 39%] Building CXX object CMakeFiles/FastLAS_LIB.dir/Utils.cpp.o
[ 43%] Building CXX object CMakeFiles/FastLAS_LIB.dir/stages/Abduce.cpp.o
[ 47%] Building CXX object CMakeFiles/FastLAS_LIB.dir/stages/SatSuff.cpp.o
[ 52%] Building CXX object CMakeFiles/FastLAS_LIB.dir/stages/Generalise.cpp.o
[ 56%] Building CXX object CMakeFiles/FastLAS_LIB.dir/stages/Optimise.cpp.o
[ 60%] Building CXX object CMakeFiles/FastLAS_LIB.dir/stages/OptimiseSym.cpp.o
[ 65%] Building CXX object CMakeFiles/FastLAS_LIB.dir/stages/Solve.cpp.o
In file included from ~/FastLAS/FastLAS2/implementation/stages/Solve.h:29,
                 from ~/FastLAS/FastLAS2/implementation/stages/Solve.cpp:26:
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:56:23: error: ‘string’ is not a member of ‘std’
   56 |         std::map<std::string, std::string> types;
      |                       ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:31:1: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
   30 | #include <map>
  +++ |+#include <string>
   31 |
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:56:36: error: ‘string’ is not a member of ‘std’
   56 |         std::map<std::string, std::string> types;
      |                                    ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:56:36: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:56:42: error: template argument 1 is invalid
   56 |         std::map<std::string, std::string> types;
      |                                          ^
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:56:42: error: template argument 2 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:56:42: error: template argument 3 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:56:42: error: template argument 4 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:58:14: error: ‘string’ in namespace ‘std’ does not name a type
   58 |         std::string print() const;
      |              ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:58:9: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
   58 |         std::string print() const;
      |         ^~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:59:14: error: ‘string’ in namespace ‘std’ does not name a type
   59 |         std::string print_useful_assignments() const;
      |              ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:59:9: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
   59 |         std::string print_useful_assignments() const;
      |         ^~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:60:14: error: ‘string’ in namespace ‘std’ does not name a type
   60 |         std::string print_violating_assignments() const;
      |              ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:60:9: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
   60 |         std::string print_violating_assignments() const;
      |         ^~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:61:14: error: ‘string’ in namespace ‘std’ does not name a type
   61 |         std::string print_intermediate_representation() const;
      |              ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:61:9: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
   61 |         std::string print_intermediate_representation() const;
      |         ^~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:62:14: error: ‘string’ in namespace ‘std’ does not name a type
   62 |         std::string intermediate_meta_representation() const;
      |              ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:62:9: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
   62 |         std::string intermediate_meta_representation() const;
      |         ^~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:63:14: error: ‘string’ in namespace ‘std’ does not name a type
   63 |         std::string optimise_representation() const;
      |              ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:63:9: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
   63 |         std::string optimise_representation() const;
      |         ^~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:69:14: error: ‘string’ in namespace ‘std’ does not name a type
   69 |         std::string substitute(const std::map<std::string, std::string>&) const;
      |              ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:69:9: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
   69 |         std::string substitute(const std::map<std::string, std::string>&) const;
      |         ^~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:73:44: error: ‘string’ is not a member of ‘std’
   73 |         void set_types(const std::map<std::string, std::string>&);
      |                                            ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:73:44: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:73:57: error: ‘string’ is not a member of ‘std’
   73 |         void set_types(const std::map<std::string, std::string>&);
      |                                                         ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:73:57: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:73:63: error: template argument 1 is invalid
   73 |         void set_types(const std::map<std::string, std::string>&);
      |                                                               ^
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:73:63: error: template argument 2 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:73:63: error: template argument 3 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:73:63: error: template argument 4 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:74:66: error: ‘string’ is not a member of ‘std’
   74 |         void set_intermediate_representation(const std::set<std::string>&);
      |                                                                  ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:74:66: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:74:72: error: template argument 1 is invalid
   74 |         void set_intermediate_representation(const std::set<std::string>&);
      |                                                                        ^
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:74:72: error: template argument 2 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:74:72: error: template argument 3 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:78:14: error: ‘string’ in namespace ‘std’ does not name a type
   78 |         std::string to_cache_string() const;
      |              ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:78:9: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
   78 |         std::string to_cache_string() const;
      |         ^~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:48: error: ‘string’ is not a member of ‘std’
   95 |         Schema* get_schema(const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
      |                                                ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:48: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:59: error: template argument 1 is invalid
   95 |         Schema* get_schema(const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
      |                                                           ^
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:59: error: template argument 3 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:59: error: template argument 4 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:98: error: ‘string’ is not a member of ‘std’
   95 |         Schema* get_schema(const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
      |                                                                                                  ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:98: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:111: error: ‘string’ is not a member of ‘std’
   95 |         Schema* get_schema(const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
      |                                                                                                               ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:111: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:117: error: template argument 1 is invalid
   95 |         Schema* get_schema(const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
      |                                                                                                                     ^
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:117: error: template argument 2 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:117: error: template argument 3 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:95:117: error: template argument 4 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:42: error: ‘string’ is not a member of ‘std’
   97 |         std::map<std::pair<std::map<std::string, int>, std::map<std::string, std::string>>, Schema*> cached_schemas;
      |                                          ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:42: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:53: error: template argument 1 is invalid
   97 |         std::map<std::pair<std::map<std::string, int>, std::map<std::string, std::string>>, Schema*> cached_schemas;
      |                                                     ^
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:53: error: template argument 3 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:53: error: template argument 4 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:70: error: ‘string’ is not a member of ‘std’
   97 |         std::map<std::pair<std::map<std::string, int>, std::map<std::string, std::string>>, Schema*> cached_schemas;
      |                                                                      ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:70: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:83: error: ‘string’ is not a member of ‘std’
   97 |         std::map<std::pair<std::map<std::string, int>, std::map<std::string, std::string>>, Schema*> cached_schemas;
      |                                                                                   ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:83: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:83: error: template argument 1 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:83: error: template argument 2 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:83: error: template argument 3 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:83: error: template argument 4 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:89: error: template argument 1 is invalid
   97 |         std::map<std::pair<std::map<std::string, int>, std::map<std::string, std::string>>, Schema*> cached_schemas;
      |                                                                                         ^~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:89: error: template argument 2 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:100: error: template argument 1 is invalid
   97 |         std::map<std::pair<std::map<std::string, int>, std::map<std::string, std::string>>, Schema*> cached_schemas;
      |                                                                                                    ^
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:100: error: template argument 3 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:97:100: error: template argument 4 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:100:23: error: ‘string’ is not a member of ‘std’
  100 |         std::set<std::string> intermediate_representation;
      |                       ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:100:23: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:100:29: error: template argument 1 is invalid
  100 |         std::set<std::string> intermediate_representation;
      |                             ^
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:100:29: error: template argument 2 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:100:29: error: template argument 3 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:119:10: error: ‘string’ in namespace ‘std’ does not name a type
  119 |     std::string print() const;
      |          ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:119:5: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  119 |     std::string print() const;
      |     ^~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:120:10: error: ‘string’ in namespace ‘std’ does not name a type
  120 |     std::string print_assignment() const;
      |          ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:120:5: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  120 |     std::string print_assignment() const;
      |     ^~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:121:10: error: ‘string’ in namespace ‘std’ does not name a type
  121 |     std::string to_cache_string() const;
      |          ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:121:5: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
  121 |     std::string to_cache_string() const;
      |     ^~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:125:87: error: ‘string’ is not a member of ‘std’
  125 |     static void add_cached_schema(const int& id, const int& rule, const std::map<std::string, int>& var_assignment);
      |                                                                                       ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:125:87: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:125:98: error: template argument 1 is invalid
  125 |     static void add_cached_schema(const int& id, const int& rule, const std::map<std::string, int>& var_assignment);
      |                                                                                                  ^
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:125:98: error: template argument 3 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:125:98: error: template argument 4 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:95: error: ‘string’ is not a member of ‘std’
  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);
      |                                                                                               ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:95: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:106: error: template argument 1 is invalid
  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);
      |                                                                                                          ^
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:106: error: template argument 3 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:106: error: template argument 4 is invalid
In file included from ~/FastLAS/FastLAS2/implementation/stages/Solve.h:29,
                 from ~/FastLAS/FastLAS2/implementation/stages/Solve.cpp:26:
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:145: error: ‘string’ is not a member of ‘std’
  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);
      |                                                                                                                                                 ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:145: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:158: error: ‘string’ is not a member of ‘std’
  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);
      |                                                                                                                                                              ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:158: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:164: error: template argument 1 is invalid
  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);
      |                                                                                                                                                                    ^
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:164: error: template argument 2 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:164: error: template argument 3 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:126:164: error: template argument 4 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:132:25: error: ‘string’ is not a member of ‘std’
  132 |     const std::map<std::string, int> var_assignment;
      |                         ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:132:25: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:132:36: error: template argument 1 is invalid
  132 |     const std::map<std::string, int> var_assignment;
      |                                    ^
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:132:36: error: template argument 3 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:132:36: error: template argument 4 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:133:25: error: ‘string’ is not a member of ‘std’
  133 |     const std::map<std::string, std::string> types;
      |                         ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:133:25: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:133:38: error: ‘string’ is not a member of ‘std’
  133 |     const std::map<std::string, std::string> types;
      |                                      ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:133:38: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:133:44: error: template argument 1 is invalid
  133 |     const std::map<std::string, std::string> types;
      |                                            ^
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:133:44: error: template argument 2 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:133:44: error: template argument 3 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:133:44: error: template argument 4 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:50: error: ‘string’ is not a member of ‘std’
  143 |     Schema(RuleSchema* rule, const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
      |                                                  ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:50: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:61: error: template argument 1 is invalid
  143 |     Schema(RuleSchema* rule, const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
      |                                                             ^
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:61: error: template argument 3 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:61: error: template argument 4 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:100: error: ‘string’ is not a member of ‘std’
  143 |     Schema(RuleSchema* rule, const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
      |                                                                                                    ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:100: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:113: error: ‘string’ is not a member of ‘std’
  143 |     Schema(RuleSchema* rule, const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
      |                                                                                                                 ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:113: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:119: error: template argument 1 is invalid
  143 |     Schema(RuleSchema* rule, const std::map<std::string, int>& var_assignment, const std::map<std::string, std::string>& types);
      |                                                                                                                       ^
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:119: error: template argument 2 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:119: error: template argument 3 is invalid
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:143:119: error: template argument 4 is invalid
In file included from ~/FastLAS/FastLAS2/implementation/stages/Solve.cpp:26:
~/FastLAS/FastLAS2/implementation/stages/Solve.h:38:24: error: ‘string’ is not a member of ‘std’
   38 |   extern std::set<std::string> sat_intermediate_facts;
      |                        ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/Solve.h:30:1: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
   29 | #include "../RuleSchema.h"
  +++ |+#include <string>
   30 |
~/FastLAS/FastLAS2/implementation/stages/Solve.h:38:30: error: template argument 1 is invalid
   38 |   extern std::set<std::string> sat_intermediate_facts;
      |                              ^
~/FastLAS/FastLAS2/implementation/stages/Solve.h:38:30: error: template argument 2 is invalid
~/FastLAS/FastLAS2/implementation/stages/Solve.h:38:30: error: template argument 3 is invalid
~/FastLAS/FastLAS2/implementation/stages/Solve.h:39:15: error: ‘string’ in namespace ‘std’ does not name a type
   39 |   extern std::string solution;
      |               ^~~~~~
~/FastLAS/FastLAS2/implementation/stages/Solve.h:39:10: note: ‘std::string’ is defined in header ‘<string>’; did you forget to ‘#include <string>’?
   39 |   extern std::string solution;
      |          ^~~
~/FastLAS/FastLAS2/implementation/stages/Solve.cpp:51:15: error: conflicting declaration ‘std::set<std::__cxx11::basic_string<char> > FastLAS::sat_intermediate_facts’
   51 |   set<string> sat_intermediate_facts;
      |               ^~~~~~~~~~~~~~~~~~~~~~
In file included from ~/FastLAS/FastLAS2/implementation/stages/Solve.cpp:26:
~/FastLAS/FastLAS2/implementation/stages/Solve.h:38:32: note: previous declaration as ‘int FastLAS::sat_intermediate_facts’
   38 |   extern std::set<std::string> sat_intermediate_facts;
      |                                ^~~~~~~~~~~~~~~~~~~~~~
~/FastLAS/FastLAS2/implementation/stages/Solve.cpp: In function ‘void FastLAS::solve()’:
~/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)
  114 |     ss << d->intermediate_meta_representation();
      |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from ~/FastLAS/FastLAS2/implementation/stages/Solve.h:29,
                 from ~/FastLAS/FastLAS2/implementation/stages/Solve.cpp:26:
~/FastLAS/FastLAS2/implementation/stages/../RuleSchema.h:100:31: note: declared private here
  100 |         std::set<std::string> intermediate_representation;
      |                               ^~~~~~~~~~~~~~~~~~~~~~~~~~~
~/FastLAS/FastLAS2/implementation/stages/Solve.cpp: In lambda function:
~/FastLAS/FastLAS2/implementation/stages/Solve.cpp:162:28: error: ‘class Schema::RuleSchema’ has no member named ‘print’
  162 |       solution_ss << rule->print() << endl;
      |                            ^~~~~
~/FastLAS/FastLAS2/implementation/stages/Solve.cpp: In lambda function:
~/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’
  168 |       sat_intermediate_facts.insert(atom);
      |                              ^~~~~~
make[2]: *** [CMakeFiles/FastLAS_LIB.dir/build.make:284: CMakeFiles/FastLAS_LIB.dir/stages/Solve.cpp.o] Error 1
make[1]: *** [CMakeFiles/Makefile2:111: CMakeFiles/FastLAS_LIB.dir/all] Error 2
make: *** [Makefile:91: all] Error 2