SAPFOR/src/ProjectParameters/projectParameters.h

#pragma once

#include <map>
#include <string>
#include <set>
#include <vector>

#include "../GraphCall/graph_calls.h"

using ResultSet = std::set<std::tuple<std::string, int, std::string>>;

void findParameters(ResultSet& foundParameters,
                    std::map<FuncInfo*, std::vector<SAPFOR::BasicBlock*>>& fullIR,
                    const std::map<std::tuple<int, std::string, std::string>, std::pair<DIST::Array*, DIST::ArrayAccessInfo*>>& declaredArrays);