cloud9_root/src/cloud9/lib/Module/ProgramDependenceGraph.cpp
// The passed string should be string IDs from a ValToStrDB. These will be
// converted to integer IDs (bitvectors)
The passed string should be string IDs from a ValToStrDB. These will be
converted to integer IDs (bitvectors)
The passed string should be string IDs from a ValToStrDB . These will be converted to integer IDs ( bitvectors )
std::string PDG::createCDep(std::string to, std::string from) {
	assert(to.size() && "emtpy to string");
	assert(from.size() && "emtpy from string");
	to = Utils::to_const_bitvec(IDMap.saveAndGetIntID(to));
	from = Utils::to_const_bitvec(IDMap.saveAndGetIntID(from));
	return "(rule (control-dep " + to + ' ' + from + "))";
}
std :: string PDG :: createCDep ( std :: string to , std :: string from ) { assert ( to . size ( ) && " " ) ; assert ( from . size ( ) && " " ) ; to = Utils :: to_const_bitvec ( IDMap . saveAndGetIntID ( to ) ) ; from = Utils :: to_const_bitvec ( IDMap . saveAndGetIntID ( from ) ) ; return " " + to + ' ' + from + " " ; }
The passed string should be string IDs from a ValToStrDB.
The passed string should be string IDs from a ValToStrDB .
// Convert to integer Ids