// 28/08/2002 Torrevieja
void Atom::apply ( const Substitution& subst )
{
TRACER ("Atom::apply");
TermList ts (args());
ts.apply (subst);
if (ts == args()) { // space-economic version
return;
}
Atom a (functor(),ts);
*this = a;
} // Atom::apply
