EpsilonNFAEpsilonClosure.h

/*
 * EpsilonNFAEpsilonClosure.h
 *
 *  Created on: 16. 1. 2014
 *      Author: Tomas Pecka
 */

#ifndef EPSILON_NFA_EPSILON_CLOSURE_H_
#define EPSILON_NFA_EPSILON_CLOSURE_H_

#include <automaton/FSM/EpsilonNFA.h>
#include <automaton/common/State.h>

#include <exception/AlibException.h>

#include <set>
#include <map>
#include <queue>

namespace epsilon {

class EpsilonClosure {
public:
    static std::set<automaton::State> closure( const automaton::EpsilonNFA & fsm, const automaton::State & state );
};

} /* namespace epsilon */

#endif /* EPSILON_NFA_EPSILON_CLOSURE_H_ */