make, I do not know how to fix such issues

[mormoassaf]

/Users/moassaf/Documents/Development/Organisations/RUG/Research/Mostafa/setup/SMTPlan/SMTPlan/src/VALfiles/include/TimSupport.h:1212:37: warning: operator '<<' has lower precedence than '+'; '+' will be evaluated first [-Wshift-op-parentheses] ms |= 1 << 3*(i->one?i->one-1:0)+(i->other?i->other-1:0); ~~ ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~ /Users/moassaf/Documents/Development/Organisations/RUG/Research/Mostafa/setup/SMTPlan/SMTPlan/src/VALfiles/include/TimSupport.h:1212:37: note: place parentheses around the '+' expression to silence this warning ms |= 1 << 3*(i->one?i->one-1:0)+(i->other?i->other-1:0); ^ ( ) In file included from /Users/moassaf/Documents/Development/Organisations/RUG/Research/Mostafa/setup/SMTPlan/SMTPlan/src/SMTPlan.cpp:8: /Users/moassaf/Documents/Development/Organisations/RUG/Research/Mostafa/setup/SMTPlan/SMTPlan/include/SMTPlan/EncoderHappening.h:147:14: error: type 'boost::container::flat_set<std::string>' does not provide a subscript operator if(args[i].get_name() != "hasht") { ~~~~^~ /Users/moassaf/Documents/Development/Organisations/RUG/Research/Mostafa/setup/SMTPlan/SMTPlan/include/SMTPlan/EncoderHappening.h:148:48: error: type 'boost::container::flat_set<std::string>' does not provide a subscript operator if(algebraist->function_id_map.find(args[i].get_name()) == algebraist->function_id_map.end()) { ~~~~^~ /Users/moassaf/Documents/Development/Organisations/RUG/Research/Mostafa/setup/SMTPlan/SMTPlan/include/SMTPlan/EncoderHappening.h:150:40: error: type 'boost::container::flat_set<std::string>' does not provide a subscript operator sym = z3_context->real_val(args[i].get_name().c_str()); ~~~~^~ /Users/moassaf/Documents/Development/Organisations/RUG/Research/Mostafa/setup/SMTPlan/SMTPlan/include/SMTPlan/EncoderHappening.h:153:51: error: type 'boost::container::flat_set<std::string>' does not provide a subscript operator int fID = algebraist->function_id_map[args[i].get_name()]; ~~~~^~ In file included from /Users/moassaf/Documents/Development/Organisations/RUG/Research/Mostafa/setup/SMTPlan/SMTPlan/src/SMTPlan.cpp:9: /Users/moassaf/Documents/Development/Organisations/RUG/Research/Mostafa/setup/SMTPlan/SMTPlan/include/SMTPlan/EncoderFluent.h:153:14: error: type 'boost::container::flat_set<std::string>' does not provide a subscript operator if(args[i].get_name() != "hasht") { ~~~~^~ /Users/moassaf/Documents/Development/Organisations/RUG/Research/Mostafa/setup/SMTPlan/SMTPlan/include/SMTPlan/EncoderFluent.h:154:48: error: type 'boost::container::flat_set<std::string>' does not provide a subscript operator if(algebraist->function_id_map.find(args[i].get_name()) == algebraist->function_id_map.end()) { ~~~~^~ /Users/moassaf/Documents/Development/Organisations/RUG/Research/Mostafa/setup/SMTPlan/SMTPlan/include/SMTPlan/EncoderFluent.h:156:40: error: type 'boost::container::flat_set<std::string>' does not provide a subscript operator sym = z3_context->real_val(args[i].get_name().c_str()); ~~~~^~ /Users/moassaf/Documents/Development/Organisations/RUG/Research/Mostafa/setup/SMTPlan/SMTPlan/include/SMTPlan/EncoderFluent.h:159:51: error: type 'boost::container::flat_set<std::string>' does not provide a subscript operator int fID = algebraist->function_id_map[args[i].get_name()]; ~~~~^~ 5 warnings and 8 errors generated. make[2]: *** [CMakeFiles/SMTPlan.dir/src/SMTPlan.cpp.o] Error 1 make[1]: *** [CMakeFiles/SMTPlan.dir/all] Error 2 make: *** [all] Error 2

[m312z]

Hello Mormossaf, I would recommend installing through: https://github.com/AI-Planning/planutils
Michael

[mormoassaf]

Hello Mormossaf, I would recommend installing through: https://github.com/AI-Planning/planutils

Michael

I already have fastdownward I needed PDDL+ working first

[m312z]

Hello Mormossaf,

I don't quite understand how fastdownward is involved. I mean that the easiest way to have SMTPlan working is to install it using planutils.

Michael

[mormoassaf]

Hi Michael,

hmm then not sure how it works exactly. I didn't see any instructions where it allows you to install SMTPlan+. Do you have instructions I can try? Thank you!

I don't quite understand how fastdownward is involved. I mean that the easiest way to have SMTPlan working is to install it using planutils.

Mo