#pragma once

#include "cudd.h"

#include "Result.h"

class Implementation
{
	BDD pre;
	std::vector<BDD> impl;
	
	public:
	
	Implementation(const BDD& _pre, int outputSize);
	
	Implementation(const BDD& _pre, const std::vector<BDD>& _impl);
	
	BDD precondition();
	
	BDD& operator[](const int i);
	
	void dumpDot();
	
	int nodeCount();
	
	Result run(const std::vector<bool>& input);
};