`[ 6%] Building CXX object CMakeFiles/SMTPlan.dir/src/SMTPlan.cpp.o
In file included from /Users/tiger/SMTPlan/src/SMTPlan.cpp:7:
In file included from /Users/tiger/SMTPlan/include/SMTPlan/Encoder.h:18:
In file included from /Users/tiger/SMTPlan/src/VALfiles/include/TIM.h:30:
/Users/tiger/SMTPlan/src/VALfiles/include/TimSupport.h:292:14: warning: 'mem_fun<TIM::Property , TIM::Property, const VAL::pddl_type >' is deprecated
[-Wdeprecated-declarations]
bind2nd(mem_fun(&Property::getBaseProperty),pt));
^
/Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/functional:1223:1: note: 'mem_fun<TIM::Property , TIM::Property, const VAL::pddl_type >' has
been explicitly marked deprecated here
_LIBCPP_DEPRECATED_IN_CXX11 inline _LIBCPP_INLINE_VISIBILITY
^
/Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/__config:1101:39: note: expanded from macro '_LIBCPP_DEPRECATED_IN_CXX11'
In file included from /Users/tiger/SMTPlan/src/SMTPlan.cpp:7:
In file included from /Users/tiger/SMTPlan/include/SMTPlan/Encoder.h:18:
In file included from /Users/tiger/SMTPlan/src/VALfiles/include/TIM.h:30:
/Users/tiger/SMTPlan/src/VALfiles/include/TimSupport.h:292:6: warning: 'bind2nd<std::1::const_mem_fun1_t<TIM::Property , TIM::Property, const
VAL::pddl_type >, const VAL::pddl_type *>' is deprecated [-Wdeprecated-declarations]
bind2nd(mem_fun(&Property::getBaseProperty),pt));
^
/Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/functional:1079:1: note: 'bind2nd<std::1::const_mem_fun1_t<TIM::Property , TIM::Property,
const VAL::pddl_type >, const VAL::pddl_type *>' has been explicitly marked deprecated here
_LIBCPP_DEPRECATED_IN_CXX11 inline _LIBCPP_INLINE_VISIBILITY
^
/Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/__config:1101:39: note: expanded from macro '_LIBCPP_DEPRECATED_IN_CXX11'
In file included from /Users/tiger/SMTPlan/src/SMTPlan.cpp:7:
In file included from /Users/tiger/SMTPlan/include/SMTPlan/Encoder.h:18:
In file included from /Users/tiger/SMTPlan/src/VALfiles/include/TIM.h:30:
/Users/tiger/SMTPlan/src/VALfiles/include/TimSupport.h:947:6: warning: 'mem_fun<bool, TIM::PropertySpace>' is deprecated [-Wdeprecated-declarations]
mem_fun(&PropertySpace::isState));
^
/Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/functional:1217:1: note: 'mem_fun<bool, TIM::PropertySpace>' has been explicitly marked
deprecated here
_LIBCPP_DEPRECATED_IN_CXX11 inline _LIBCPP_INLINE_VISIBILITY
^
/Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/__config:1101:39: note: expanded from macro '_LIBCPP_DEPRECATED_IN_CXX11'
In file included from /Users/tiger/SMTPlan/src/SMTPlan.cpp:7:
In file included from /Users/tiger/SMTPlan/include/SMTPlan/Encoder.h:18:
In file included from /Users/tiger/SMTPlan/src/VALfiles/include/TIM.h:30:
/Users/tiger/SMTPlan/src/VALfiles/include/TimSupport.h:951:11: warning: 'mem_fun<bool, TIM::PropertySpace>' is deprecated [-Wdeprecated-declarations]
not1(mem_fun(&PropertySpace::isStatic)));
^
/Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/functional:1217:1: note: 'mem_fun<bool, TIM::PropertySpace>' has been explicitly marked
deprecated here
_LIBCPP_DEPRECATED_IN_CXX11 inline _LIBCPP_INLINE_VISIBILITY
^
/Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/__config:1101:39: note: expanded from macro '_LIBCPP_DEPRECATED_IN_CXX11'
In file included from /Users/tiger/SMTPlan/src/SMTPlan.cpp:7:
In file included from /Users/tiger/SMTPlan/include/SMTPlan/Encoder.h:18:
In file included from /Users/tiger/SMTPlan/src/VALfiles/include/TIM.h:30:
/Users/tiger/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/tiger/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/tiger/SMTPlan/src/SMTPlan.cpp:8:
/Users/tiger/SMTPlan/include/SMTPlan/EncoderHappening.h:147:14: error: type 'boost::container::flat_set<std::__1::basic_string,
std::1::less<std::1::basic_string >, void>' does not provide a subscript operator
if(args[i].get_name() != "hasht") {
/Users/tiger/SMTPlan/include/SMTPlan/EncoderHappening.h:148:48: error: type 'boost::container::flat_set<std::__1::basic_string<char>,
std::__1::less<std::__1::basic_string<char> >, void>' does not provide a subscript operator
if(algebraist->function_id_map.find(args[i].get_name()) == algebraist->function_id_map.end()) {
~~~~^~
/Users/tiger/SMTPlan/include/SMTPlan/EncoderHappening.h:150:40: error: type 'boost::container::flat_set<std::__1::basic_string<char>,
std::__1::less<std::__1::basic_string<char> >, void>' does not provide a subscript operator
sym = z3_context->real_val(args[i].get_name().c_str());
~~~~^~
/Users/tiger/SMTPlan/include/SMTPlan/EncoderHappening.h:153:51: error: type 'boost::container::flat_set<std::__1::basic_string<char>,
std::__1::less<std::__1::basic_string<char> >, void>' does not provide a subscript operator
int fID = algebraist->function_id_map[args[i].get_name()];
~~~~^~
In file included from /Users/tiger/SMTPlan/src/SMTPlan.cpp:9:
/Users/tiger/SMTPlan/include/SMTPlan/EncoderFluent.h:153:14: error: type 'boost::container::flat_set<std::__1::basic_string<char>,
std::__1::less<std::__1::basic_string<char> >, void>' does not provide a subscript operator
if(args[i].get_name() != "hasht") {
~~~~^~
/Users/tiger/SMTPlan/include/SMTPlan/EncoderFluent.h:154:48: error: type 'boost::container::flat_set<std::__1::basic_string<char>,
std::__1::less<std::__1::basic_string<char> >, void>' does not provide a subscript operator
if(algebraist->function_id_map.find(args[i].get_name()) == algebraist->function_id_map.end()) {
~~~~^~
/Users/tiger/SMTPlan/include/SMTPlan/EncoderFluent.h:156:40: error: type 'boost::container::flat_set<std::__1::basic_string<char>,
std::__1::less<std::__1::basic_string<char> >, void>' does not provide a subscript operator
sym = z3_context->real_val(args[i].get_name().c_str());
~~~~^~
/Users/tiger/SMTPlan/include/SMTPlan/EncoderFluent.h:159:51: error: type 'boost::container::flat_set<std::__1::basic_string<char>,
std::__1::less<std::__1::basic_string<char> >, void>' 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
`
`[ 6%] Building CXX object CMakeFiles/SMTPlan.dir/src/SMTPlan.cpp.o In file included from /Users/tiger/SMTPlan/src/SMTPlan.cpp:7: In file included from /Users/tiger/SMTPlan/include/SMTPlan/Encoder.h:18: In file included from /Users/tiger/SMTPlan/src/VALfiles/include/TIM.h:30: /Users/tiger/SMTPlan/src/VALfiles/include/TimSupport.h:292:14: warning: 'mem_fun<TIM::Property , TIM::Property, const VAL::pddl_type >' is deprecated [-Wdeprecated-declarations] bind2nd(mem_fun(&Property::getBaseProperty),pt)); ^ /Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/functional:1223:1: note: 'mem_fun<TIM::Property , TIM::Property, const VAL::pddl_type >' has been explicitly marked deprecated here _LIBCPP_DEPRECATED_IN_CXX11 inline _LIBCPP_INLINE_VISIBILITY ^ /Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/__config:1101:39: note: expanded from macro '_LIBCPP_DEPRECATED_IN_CXX11'
define _LIBCPP_DEPRECATED_IN_CXX11 _LIBCPP_DEPRECATED
/Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/__config:1090:48: note: expanded from macro '_LIBCPP_DEPRECATED'
define _LIBCPP_DEPRECATED attribute ((deprecated))
In file included from /Users/tiger/SMTPlan/src/SMTPlan.cpp:7: In file included from /Users/tiger/SMTPlan/include/SMTPlan/Encoder.h:18: In file included from /Users/tiger/SMTPlan/src/VALfiles/include/TIM.h:30: /Users/tiger/SMTPlan/src/VALfiles/include/TimSupport.h:292:6: warning: 'bind2nd<std::1::const_mem_fun1_t<TIM::Property , TIM::Property, const VAL::pddl_type >, const VAL::pddl_type *>' is deprecated [-Wdeprecated-declarations] bind2nd(mem_fun(&Property::getBaseProperty),pt)); ^ /Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/functional:1079:1: note: 'bind2nd<std::1::const_mem_fun1_t<TIM::Property , TIM::Property, const VAL::pddl_type >, const VAL::pddl_type *>' has been explicitly marked deprecated here _LIBCPP_DEPRECATED_IN_CXX11 inline _LIBCPP_INLINE_VISIBILITY ^ /Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/__config:1101:39: note: expanded from macro '_LIBCPP_DEPRECATED_IN_CXX11'
define _LIBCPP_DEPRECATED_IN_CXX11 _LIBCPP_DEPRECATED
/Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/__config:1090:48: note: expanded from macro '_LIBCPP_DEPRECATED'
define _LIBCPP_DEPRECATED attribute ((deprecated))
In file included from /Users/tiger/SMTPlan/src/SMTPlan.cpp:7: In file included from /Users/tiger/SMTPlan/include/SMTPlan/Encoder.h:18: In file included from /Users/tiger/SMTPlan/src/VALfiles/include/TIM.h:30: /Users/tiger/SMTPlan/src/VALfiles/include/TimSupport.h:947:6: warning: 'mem_fun<bool, TIM::PropertySpace>' is deprecated [-Wdeprecated-declarations] mem_fun(&PropertySpace::isState));
^ /Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/functional:1217:1: note: 'mem_fun<bool, TIM::PropertySpace>' has been explicitly marked deprecated here _LIBCPP_DEPRECATED_IN_CXX11 inline _LIBCPP_INLINE_VISIBILITY ^ /Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/__config:1101:39: note: expanded from macro '_LIBCPP_DEPRECATED_IN_CXX11'
define _LIBCPP_DEPRECATED_IN_CXX11 _LIBCPP_DEPRECATED
/Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/__config:1090:48: note: expanded from macro '_LIBCPP_DEPRECATED'
define _LIBCPP_DEPRECATED attribute ((deprecated))
In file included from /Users/tiger/SMTPlan/src/SMTPlan.cpp:7: In file included from /Users/tiger/SMTPlan/include/SMTPlan/Encoder.h:18: In file included from /Users/tiger/SMTPlan/src/VALfiles/include/TIM.h:30: /Users/tiger/SMTPlan/src/VALfiles/include/TimSupport.h:951:11: warning: 'mem_fun<bool, TIM::PropertySpace>' is deprecated [-Wdeprecated-declarations] not1(mem_fun(&PropertySpace::isStatic))); ^ /Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/functional:1217:1: note: 'mem_fun<bool, TIM::PropertySpace>' has been explicitly marked deprecated here _LIBCPP_DEPRECATED_IN_CXX11 inline _LIBCPP_INLINE_VISIBILITY ^ /Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/__config:1101:39: note: expanded from macro '_LIBCPP_DEPRECATED_IN_CXX11'
define _LIBCPP_DEPRECATED_IN_CXX11 _LIBCPP_DEPRECATED
/Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/__config:1090:48: note: expanded from macro '_LIBCPP_DEPRECATED'
define _LIBCPP_DEPRECATED attribute ((deprecated))
In file included from /Users/tiger/SMTPlan/src/SMTPlan.cpp:7: In file included from /Users/tiger/SMTPlan/include/SMTPlan/Encoder.h:18: In file included from /Users/tiger/SMTPlan/src/VALfiles/include/TIM.h:30: /Users/tiger/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); ~~,
std::1::less<std::1::basic_string >, void>' does not provide a subscript operator
if(args[i].get_name() != "hasht") {
~~~~~^~~~~~~~ /Users/tiger/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/tiger/SMTPlan/src/SMTPlan.cpp:8: /Users/tiger/SMTPlan/include/SMTPlan/EncoderHappening.h:147:14: error: type 'boost::container::flat_set<std::__1::basic_string