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 gnfa {
public:
  gnfa(dfa const& d);
  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 ();

  operator nfa const&() const; 
  bool operator==(nfa const& n) const;
  bool operator!=(nfa const& n) const;
  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::reference_wrapper<std::string const>, std::reference_wrapper<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 expression::operator nfa const&() const;
  gnfa(expression const& r);
  struct pImpl;
  std::unique_ptr<pImpl> p;
};
}
#endif