rx_distinct_future Struct Reference
[The rx funktions from the historic libg++]

#include <MNrx.h>

Collaboration diagram for rx_distinct_future:

[legend]List of all members.

Public Attributes
rx_distinct_future *	next_same_super_edge [2]
rx_distinct_future *	next_same_dest
rx_distinct_future *	prev_same_dest
rx_superstate *	present
rx_superstate *	future
rx_super_edge *	edge
rx_inx	future_frame
rx_inx	side_effects_frame
rx_se_list *	effects

---

Member Data Documentation

struct rx_super_edge* rx_distinct_future::edge

struct rx_se_list* rx_distinct_future::effects

struct rx_superstate* rx_distinct_future::future

struct rx_inx rx_distinct_future::future_frame

struct rx_distinct_future* rx_distinct_future::next_same_dest

struct rx_distinct_future* rx_distinct_future::next_same_super_edge[2]

struct rx_superstate* rx_distinct_future::present

struct rx_distinct_future* rx_distinct_future::prev_same_dest

struct rx_inx rx_distinct_future::side_effects_frame

---

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

• MNrx.h

---