Merge from rc2.0
git-svn-id: svn://scm.gforge.inria.fr/svnroot/paradiseo@2713 331e1502-861f-0410-8da2-ba01fb791d7f
This commit is contained in:
parent
71864c2a6e
commit
409a1b21b8
1731 changed files with 104909 additions and 64375 deletions
29
trunk/eo/contrib/mathsym/eo_interface/eoSymLambdaMutate.cpp
Normal file
29
trunk/eo/contrib/mathsym/eo_interface/eoSymLambdaMutate.cpp
Normal 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);
|
||||
}
|
||||
Loading…
Add table
Add a link
Reference in a new issue