Private implementation details of NFA builders. More...

Public Member Functions
	pImpl ()=default
	Constructs empty private implementation object. More...

	pImpl (string &initial, unordered_set< string > &acceptingStates, unordered_set< char32_t > &alphabet, Ntransitionmap &transitions)
	Constructs private implementation object with provided members. More...

Public Attributes
string	initial
	Name of the prospective NFA's initial state. More...

unordered_set< string >	acceptingStates
	Set of names of the prospective NFA's accept states. More...

unordered_set< char32_t >	alphabet
	Set of symbols processable by the prospective NFA. More...

Ntransitionmap	transitions
	Transition function (state × symbol → set of states) of the prospective NFA. More...

Detailed Description

Private implementation details of NFA builders.

Definition at line 430 of file nfa.cpp.

Constructor & Destructor Documentation

◆ pImpl() [1/2]

reg::nfa::builder::pImpl::pImpl ( )

default

Constructs empty private implementation object.

◆ pImpl() [2/2]

reg::nfa::builder::pImpl::pImpl	(	string &	initial,
		unordered_set< string > &	acceptingStates,
		unordered_set< char32_t > &	alphabet,
		Ntransitionmap &	transitions
	)

inline

Constructs private implementation object with provided members.

Definition at line 442 of file nfa.cpp.

       :
       initial(move(initial)),
       acceptingStates(move(acceptingStates)),
       alphabet(move(alphabet)),
       transitions(move(transitions)) {}

Member Data Documentation

◆ acceptingStates

unordered_set<string> reg::nfa::builder::pImpl::acceptingStates

Set of names of the prospective NFA's accept states.

Definition at line 432 of file nfa.cpp.

◆ alphabet

unordered_set<char32_t> reg::nfa::builder::pImpl::alphabet

Set of symbols processable by the prospective NFA.

Definition at line 433 of file nfa.cpp.

◆ initial

string reg::nfa::builder::pImpl::initial

Name of the prospective NFA's initial state.

Definition at line 431 of file nfa.cpp.

◆ transitions

Ntransitionmap reg::nfa::builder::pImpl::transitions

Transition function (state × symbol → set of states) of the prospective NFA.

Also encodes the set of states in its set of keys.

Definition at line 434 of file nfa.cpp.

The documentation for this struct was generated from the following file:

nfa.cpp

Public Member Functions

Public Attributes