Made eClose const
This commit is contained in:
parent
f052f7fd8d
commit
e323bb5084
|
@ -26,12 +26,12 @@ namespace lxs {
|
||||||
|
|
||||||
struct NFA : public Automaton {
|
struct NFA : public Automaton {
|
||||||
std::map<State, std::map<char, std::set<State> > > delta;
|
std::map<State, std::map<char, std::set<State> > > delta;
|
||||||
virtual std::set<State> eClose(State);
|
virtual std::set<State> eClose(State) const;
|
||||||
};
|
};
|
||||||
|
|
||||||
struct ENFA : public NFA {
|
struct ENFA : public NFA {
|
||||||
std::map<State, std::set<State> > epsilonTransitions;
|
std::map<State, std::set<State> > epsilonTransitions;
|
||||||
virtual std::set<State> eClose(State);
|
virtual std::set<State> eClose(State) const;
|
||||||
};
|
};
|
||||||
|
|
||||||
std::string toDot(const DFA& d);
|
std::string toDot(const DFA& d);
|
||||||
|
|
Loading…
Reference in New Issue