transition_systemt::propertyt Struct Reference

#include <transition_system.h>

Public Attributes
expr2tc	violated
std::string	comment
locationt	location

Member Data Documentation

comment

std::string transition_systemt::propertyt::comment

location

locationt transition_systemt::propertyt::location

violated

expr2tc transition_systemt::propertyt::violated

---

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

• src/transition-system/transition_system.h