#include "../include/cudd.h"

#include <vector>

std::vector<int> increasing(int n);

std::vector<int> decreasing(int n);

std::vector<std::vector<BDD>> interleaved(int nInputs, int nOutputs, const std::vector<int>& innerOrdering);

std::vector<std::vector<BDD>> inOrder(int nInputs, int nOutputs, const std::vector<int>& innerOrdering);