- bool has(const ex & other) const { return inherited::has(other); }
- bool match(const ex & pattern, lst & repl_lst) const { return inherited::match(pattern, repl_lst); }
+ bool has(const ex & other, unsigned options = 0) const { return inherited::has(other, options); }
+ bool match(const ex & pattern, exmap& repl_lst) const { return inherited::match(pattern, repl_lst); }