RC
git-svn-id: svn://scm.gforge.inria.fr/svnroot/paradiseo@2710 331e1502-861f-0410-8da2-ba01fb791d7f
This commit is contained in:
parent
6f384f4a59
commit
e3a610506b
1731 changed files with 105122 additions and 63920 deletions
|
|
@ -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);
|
||||
}
|
||||
Loading…
Add table
Add a link
Reference in a new issue