CreateSliceSet.h

Go to the documentation of this file.

// #include "rose.h"

#include "DependenceGraph.h"
#include <set>


class ROSE_DLL_API CreateSliceSet
{
        public:
                CreateSliceSet(SystemDependenceGraph *program,std::list<SgNode*> targets);
                std::set<SgNode*> computeSliceSet();
                std::set<SgNode*> computeSliceSet(SgNode * node);
        protected:
                SystemDependenceGraph *sdg;
                std::list<SgNode*> sliceTargetNodes;
                std::set<DependenceNode*> getSliceDepNodes(std::set <DependenceNode*> searchSet,std::set<DependenceGraph::EdgeType> allowedEdges);
};