tesla::internal Namespace Reference

Classes
class	NFAParser
struct	NFAStateHash
class	DFABuilder

Typedefs
typedef std::set< unsigned >	NFAState

Functions
string	stringifyTransitionVector (SmallVector< Transition *, 16 > &Ts)
string	stringifyTransitionVectors (TransitionVectors &TVs)
raw_ostream &	operator<< (raw_ostream &Out, const NFAState &S)
raw_ostream &	operator<< (raw_ostream &Out, const unordered_map< NFAState, State *, NFAStateHash > &M)

Typedef Documentation

typedef std::set<unsigned> tesla::internal::NFAState

Definition at line 685 of file Automaton.cpp.

Function Documentation

raw_ostream& tesla::internal::operator<<	(	raw_ostream &	Out,
		const NFAState &	S
	)

Definition at line 686 of file Automaton.cpp.

                                                               {
  for (unsigned i : S)
    Out << i << " ";
  Out << "\n";
  return Out;
}

raw_ostream& tesla::internal::operator<<	(	raw_ostream &	Out,
		const unordered_map< NFAState, State *, NFAStateHash > &	M
	)

Definition at line 700 of file Automaton.cpp.

                                                                            {
  for (auto I : M) Out << (I.second->ID()) << " = " << I.first;
  return Out;
}

string tesla::internal::stringifyTransitionVector

(

SmallVector< Transition *, 16 > &

Ts

)

Definition at line 489 of file Automaton.cpp.

Referenced by stringifyTransitionVectors().

                                                                  {
  stringstream ss;
  for (auto T : Ts) {
    ss << T->String() << " ";
  }
  return ss.str();
}

Here is the caller graph for this function:

string tesla::internal::stringifyTransitionVectors

(

TransitionVectors &

TVs

)

Definition at line 497 of file Automaton.cpp.

References stringifyTransitionVector().

                                                          {
  stringstream ss;
  ss << "[";
  for (auto& TV : TVs) {
    ss << "{";
    ss << stringifyTransitionVector(TV);
    ss << "}, ";
  }
  ss << "]";
  return ss.str();
}

Here is the call graph for this function: