anode_t Struct Reference

Strategy automaton nodes. More...

#include <automaton.h>

Data Fields
bool	initial
	If True, then this node corresponds to a state that satisfies an initial condition. Note that it may be False even when this node could be used for initialization. Possible interpretations of initial conditions are described in the documentation for check_realizable().
int	mode
	Goal mode; indicates which system goal is currently being pursued.
struct anode_t *	next
int	rgrad
	reach annotation value; unset value is indicated by -1.
vartype *	state
struct anode_t **	trans
	Array of transitions.
int	trans_len

Detailed Description

Strategy automaton nodes.

---

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

• automaton.h