formalang/include/converters/DFAToMinDFA.hpp

#pragma once
#include "DFA/DFAGraph.hpp"

namespace converters {
using namespace DFA;
DFAGraph DFAGraphToMinDFAGraph(DFAGraph&&);
}