Flags to set format for output. Combine non-conflicting flags with or. More...

Macros
#define	DOT_AUT_ALL 0
	Show all variables with values.

#define	DOT_AUT_ATTRIB 4
	Show node attributes. More...

#define	DOT_AUT_BINARY 1
	Assume variables have Boolean domains, and only label nodes with those that are True.

#define	DOT_AUT_EDGEINPUT 2
	Show environment variables on edges.

Detailed Description

Flags to set format for output. Combine non-conflicting flags with or.

Macro Definition Documentation

#define DOT_AUT_ATTRIB 4

Show node attributes.

In addition to the state (presentation depends on format_flags given to dot_aut_dump()), each node is labeled with

i;
(m, r)

where i is the node ID, m the goal mode, and r the reach annotation value.