transition_systemt::statet Struct Reference

#include <transition_system.h>

Public Attributes
std::string	name
expr2tc	init
expr2tc	pre
expr2tc	post

Member Data Documentation

init

expr2tc transition_systemt::statet::init

name

std::string transition_systemt::statet::name

post

expr2tc transition_systemt::statet::post

pre

expr2tc transition_systemt::statet::pre

---

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

• src/transition-system/transition_system.h