nfat< T >::transitiont Struct Reference

Collaboration diagram for nfat< T >::transitiont:

Public Attributes
std::unordered_set< state_labelt >	epsilon
std::unordered_set< state_labelt >	arbitrary
std::unordered_map< T, std::unordered_set< state_labelt > >	when

Detailed Description

template<typename T>
struct nfat< T >::transitiont

Definition at line 164 of file nfa.h.

Member Data Documentation

arbitrary

template<typename T >

std::unordered_set<state_labelt> nfat< T >::transitiont::arbitrary

Definition at line 167 of file nfa.h.

epsilon

template<typename T >

std::unordered_set<state_labelt> nfat< T >::transitiont::epsilon

Definition at line 166 of file nfa.h.

when

template<typename T >

std::unordered_map<T, std::unordered_set<state_labelt> > nfat< T >::transitiont::when

Definition at line 168 of file nfa.h.

---

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

• /home/runner/work/cbmc/cbmc/src/util/nfa.h