nfat< T >::statet Struct Reference

A state is a set of possibly active transitions. More...

#include <nfa.h>

Collaboration diagram for nfat< T >::statet:

Public Member Functions
bool	contains (state_labelt state_label) const

Private Attributes
std::unordered_set< state_labelt >	possible_states

Friends
struct	nfat

Detailed Description

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

A state is a set of possibly active transitions.

The automaton itself is stateless, it just contains the state transitions.

Definition at line 33 of file nfa.h.

Member Function Documentation

contains()

template<typename T >

bool nfat< T >::statet::contains ( state_labelt  state_label ) const

inline

Definition at line 41 of file nfa.h.

Friends And Related Function Documentation

nfat

template<typename T >

friend struct nfat

friend

Definition at line 39 of file nfa.h.

Member Data Documentation

possible_states

template<typename T >

std::unordered_set<state_labelt> nfat< T >::statet::possible_states

private

Definition at line 36 of file nfa.h.

---

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

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