7 template<
class ENV,
class AGENT,
class PATCH>
10 shared_ptr<PATCH> _patch =
nullptr,
15 _flag(flag),_patch(_patch),_inherit(inherit),
16 _quiet(quiet),_reset(reset)
21 shared_ptr<PATCH> _patch;
27 template<
class ENV,
class AGENT,
class PATCH>
30 shared_ptr<PATCH> _patch =
nullptr,
34 _flag(flag),_patch(_patch), _quiet(quiet), _reset(reset)
37 shared_ptr<PATCH> _patch;
55 const char *
what()
const throw() {
56 return message.c_str();