#pragma once

#include "cudd.h"

#include <vector>

class Result
{
	bool realizable;
	std::vector<bool> output;
	
	public:
	
	Result();
	
	Result(std::vector<bool> out);
	
	bool isRealizable();
	
	size_t size();
	
	bool operator[](size_t i);
};