#include <dtx.h>
An AST object for persistent message processing.
Definition at line 78 of file dtx.h.
AST where the update is applied.
Definition at line 80 of file dtx.h.
A FOP that contains a partial update to be applied.
Definition at line 82 of file dtx.h.
A pointer to the DTM0 log.
Definition at line 84 of file dtx.h.