• action() : pure::state_machine< Table, Logger >
• event() : pure::state_machine< Table, Logger >
• guard() : pure::state_machine< Table, Logger >
• state_machine() : pure::state_machine< Table, Logger >
• user_logger() : pure::user_logger
• write() : pure::empty_logger