// functions overriding virtual functions from base classes
public:
+ bool info(unsigned inf) const;
ex eval_indexed(const basic & i) const;
bool contract_with(exvector::iterator self, exvector::iterator other, exvector & v) const;
// functions overriding virtual functions from base classes
public:
+ bool info(unsigned inf) const;
ex eval_indexed(const basic & i) const;
bool contract_with(exvector::iterator self, exvector::iterator other, exvector & v) const;
// functions overriding virtual functions from base classes
public:
+ bool info(unsigned inf) const;
ex eval_indexed(const basic & i) const;
// non-virtual functions in this class
// functions overriding virtual functions from base classes
public:
+ bool info(unsigned inf) const;
ex eval_indexed(const basic & i) const;
bool contract_with(exvector::iterator self, exvector::iterator other, exvector & v) const;
// functions overriding virtual functions from base classes
public:
+ bool info(unsigned inf) const;
ex eval_indexed(const basic & i) const;
bool contract_with(exvector::iterator self, exvector::iterator other, exvector & v) const;