nojhan/eodev
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

added std::

Browse source
This commit is contained in:
maartenkeijzer 2003-02-17 10:42:03 +00:00
commit 1bac8a427a
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
eo/src/gp/parse_tree.h
View file

@ -298,7 +298,7 @@ public :
*/
template <class Pred>
void find_nodes(vector<subtree*>& result, Pred& p)
void find_nodes(std::vector<subtree*>& result, Pred& p)
{
if (p(*content))
{
@ -312,7 +312,7 @@ public :
}
template <class Pred>
void find_nodes(vector<const subtree*>& result, Pred& p) const
void find_nodes(std::vector<const subtree*>& result, Pred& p) const
{
if (p(*content))
{
@ -632,13 +632,13 @@ private :
// { _root.apply(v, varValues, moreValues, evenMoreValues); }
template <class Pred>
void find_nodes(vector<subtree*>& result, Pred& p)
void find_nodes(std::vector<subtree*>& result, Pred& p)
{
_root.find_nodes(result, p);
}
template <class Pred>
void find_nodes(vector<const subtree*>& result, Pred& p) const
void find_nodes(std::vector<const subtree*>& result, Pred& p) const
{
_root.find_nodes(p);
}