This commit is contained in:
maartenkeijzer 2005-11-24 09:38:05 +00:00
commit 4b20933325

View file

@ -0,0 +1,29 @@
#include <eoSymLambdaMutate.h>
#include "FunDef.h"
#include "NodeSelector.h"
Sym compress(Sym sym, NodeSelector& sel) {
return ::compress(sym);
NodeSelector::NodeSelection s = sel.select_node(sym);
Sym f = SymLambda( s.subtree());
if (f == s.subtree()) { return sym; }
return insert_subtree(sym, s.idx(), f);
}
extern Sym expand(Sym sym, NodeSelector& sel) {
return ::expand_all(sym);
NodeSelector::NodeSelection s = sel.select_node(sym);
Sym f = SymUnlambda( s.subtree());
if (f == s.subtree()) { return sym; }
return insert_subtree(sym, s.idx(), f);
}