spot::transition_info Struct Reference

Transition information passed to callbacks during state-space exploration. More...

#include <spot/ltsmin/spins_interface.hh>

Collaboration diagram for spot::transition_info:

Public Attributes
int *	labels
	Edge labels, NULL, or label pointer.
int	group
	Transition group, or -1 if unknown.

Detailed Description

Transition information passed to callbacks during state-space exploration.

Member Data Documentation

group

int spot::transition_info::group

Transition group, or -1 if unknown.

labels

int* spot::transition_info::labels

Edge labels, NULL, or label pointer.

---

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

• spot/ltsmin/spins_interface.hh