ana::custom_transition Class Reference

#include <sm.h>

Public Member Functions
virtual	~custom_transition ()
virtual void	impl_transition (exploded_graph *eg, exploded_node *src_enode, int sm_idx)=0

Detailed Description

Abstract base class for state machines to pass to
sm_context::on_custom_transition for handling non-standard transitions
(e.g. adding a node and edge to simulate registering a callback and having
the callback be called later).   

Constructor & Destructor Documentation

~custom_transition()

virtual ana::custom_transition::~custom_transition ( )

inlinevirtual

Member Function Documentation

impl_transition()

virtual void ana::custom_transition::impl_transition ( exploded_graph * eg, exploded_node * src_enode, int sm_idx )

pure virtual

---

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

• sm.h