ex & operator[](size_t i) { return inherited::operator[](i); }
// pattern matching
- bool has(const ex & other) const { return inherited::has(other); }
+ bool has(const ex & other, unsigned options = 0) const { return inherited::has(other, options); }
bool match(const ex & pattern, lst & repl_lst) const { return inherited::match(pattern, repl_lst); }
protected:
bool match_same_type(const basic & other) const { return true; }
// noncommutativity
unsigned return_type() const { return return_types::commutative; }
- const basic* return_type_tinfo() const { return this; }
+ tinfo_t return_type_tinfo() const { return this; }
protected:
bool is_equal_same_type(const basic & other) const