formalang/include/converters/RegularToNFA.hpp

11 lines
192 B
C++
Raw Permalink Normal View History

2021-10-05 12:01:30 +00:00
#pragma once
#include "regular/RegularTree.hpp"
2021-10-05 13:11:24 +00:00
#include "NFA/NFAGraph.hpp"
2021-10-05 12:01:30 +00:00
namespace converters {
using namespace NFA;
using namespace regular;
2021-10-05 13:11:24 +00:00
NFAGraph RegularToNFAGraph(RegularTree&&);
2021-10-05 12:01:30 +00:00
}