gnfa.h

Go to the documentation of this file.

#ifndef REG_GNFA_H
#define REG_GNFA_H

#include <memory>

#include <string>

#include <vector>

#include <functional>

#include "expression.h"

namespace reg {
class nfa;
class gnfa {
public:
  gnfa(nfa const& n);
  gnfa(expression::exptr r);
  gnfa(gnfa const& n);
  gnfa(gnfa&& n);
  gnfa& operator=(gnfa const& n);
  gnfa& operator=(gnfa&& n);
  virtual ~gnfa ();
  std::string const& getInitialState() const;
  std::string const& getAcceptingState() const;
  std::vector<std::reference_wrapper<std::string const>> getActiveStates() const;
  expression::exptr getTransition(std::string const& qLabel, std::string const& pLabel) const;
  std::vector<std::pair<std::string const&, std::string const&>> getSplittableTransitions() const;
  std::vector<std::reference_wrapper<std::string const>> splitTransition(std::string const& qLabel, std::string const& pLabel);
  nfa splitAllTransitions();
  void bypassTransition(std::string const& qLabel, std::string const& pLabel);
  void ripState(std::string const& qLabel);
  expression::exptr ripAllStates();
private:
  friend class expression;
  gnfa(expression const& r);
  struct pImpl;
  std::unique_ptr<pImpl> p;
};
}
#endif