cloud9_root/src/cloud9/lib/Module/ProgramDependenceGraph.cpp
// Create a control dependence from-->to in the passed ostream.
Create a control dependence from-->to in the passed ostream.
Create a control dependence from -- > to in the passed ostream .
std::string PDG::createCDep(Value *to, Value *from) {
	assert(to && "NULL passed");
	assert(from && "NULL passed");
	std::string toStrId = IDMap.saveAndGetID(to);
	std::string fromStrId = IDMap.saveAndGetID(from);
	return createCDep(toStrId, fromStrId);
}
std :: string PDG :: createCDep ( Value * to , Value * from ) { assert ( to && " " ) ; assert ( from && " " ) ; std :: string toStrId = IDMap . saveAndGetID ( to ) ; std :: string fromStrId = IDMap . saveAndGetID ( from ) ; return createCDep ( toStrId , fromStrId ) ; }
Create a control dependence from-->to in the passed ostream.
Create a control dependence from -- > to in the passed ostream .
// Get the string Ids //(*out) << "(rule (control-dep " << toStrId << ' ' << fromStrId << "))\n";