#pragma once

#include "cudd.h"
#include "Implementation.h"

#include <vector>
#include <unordered_map>
#include <string>

class Args
{
	std::unordered_map<std::string, std::string> args;
	
	std::string retrieve(std::string option);
	
	BDD loadSpecification();
	
	std::vector<int> loadOutputIndices();
	
	Implementation synthesize(const BDD& spec, const std::vector<int>& outputIndices);
	
	void experiment();

	void dumpDot();
	
	public:
	
	Args(int argc, char* argv[]);
	
	void execute();
};