digraph "isc::util::StateModel::abortModel"
{
 // LATEX_PDF_SIZE
  edge [fontname="Helvetica",fontsize="10",labelfontname="Helvetica",labelfontsize="10"];
  node [fontname="Helvetica",fontsize="10",shape=record];
  rankdir="LR";
  Node1 [label="isc::util::StateModel\l::abortModel",height=0.2,width=0.4,color="black", fillcolor="grey75", style="filled", fontcolor="black",tooltip="Aborts model execution."];
  Node1 -> Node2 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node2 [label="isc::util::StateModel\l::getContextStr",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$dd/db3/classisc_1_1util_1_1StateModel.html#ada4dbc7ebfb6f5fb3a3ea710c8ebc445",tooltip="Convenience method which returns a string rendition of the current state and next event."];
  Node1 -> Node3 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node3 [label="isc::util::StateModel\l::onModelFailure",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$dd/db3/classisc_1_1util_1_1StateModel.html#a6a556d23ae4d83d5ed1bdf5b8f0d4d8a",tooltip="Handler for fatal model execution errors."];
  Node1 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node4 [label="isc::util::StateModel\l::transition",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$dd/db3/classisc_1_1util_1_1StateModel.html#a6da4d635c9e6e44a77b5305002ee0df2",tooltip="Sets up the model to transition into given state with a given event."];
}
