Commit 3edec4e0 authored by Alejandro Suarez Hernandez's avatar Alejandro Suarez Hernandez
Browse files

Added iterators to TermV

parent c6ca06dd
......@@ -196,17 +196,31 @@ class TermV : public Term
const Term::ConstPtr at(int idx) const { return term_v_.at(idx); }
//CIter cbegin() const { return term_v_.cbegin(); }
CIter cbegin() const { return term_v_.cbegin(); }
//CIter cend() const { return term_v_.cend(); }
CIter cend() const { return term_v_.cend(); }
};
class Compound : public Term
{
//class Compound : public Term
//{
//private:
};
//std::string name_;
//TermV arguments_;
//public:
//TYPES_COMMON(Compound);
//Compound(const std::string& name, const TermV& arguments=TermV());
//virtual std::string to_str() const override;
//};
/**
* @brief Stream operator that conveniently puts a Term printable version into
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment