40 if (state == NULL || depth == 0)
struct infinite_state ** infinite_state_topology(struct infinite_state *state, int depth, struct infinite_state **topology)
Get the topology of the infinite state machine.
Core definitions for the infinite (unbounded topology and depth albeit limited by memory resources) h...
The state structure for the infinite state. This structure represents a state in the infinite state m...
struct infinite_state * super
The parent state of this state.