#include "Implementation.h"

#include <unordered_map>

BDD tsRec(int x, const BDD& b, bool defaultValue, std::unordered_map<DdNode*, BDD>& table);

BDD tsStep(int x, const BDD& b, bool defaultValue, std::unordered_map<DdNode*, BDD>& table);

BDD tsRec(int x, const BDD& b, bool defaultValue, std::unordered_map<DdNode*, BDD>& table);

BDD tsRun(int x, const BDD& b, bool defaultValue);

Implementation trimSubstitute(const BDD& spec, const std::vector<int>& outputIndex, bool defaultValue);