public PatternTerm MakeTerm(PatternTerm member, ResourceMap map)
{
if (member is Variable)
{
//~ itsVariables[ ((Variable)member).Name ] = member;
return((Variable)member);
}
else
{
if (map.HasResourceDenotedBy((GraphMember)member))
{
return(map.GetResourceDenotedBy((GraphMember)member));
}
else
{
return(null);
}
}
}