digraph "osl::checkmate::DualDfpn::Shared"
{
  edge [fontname="Helvetica",fontsize="10",labelfontname="Helvetica",labelfontsize="10"];
  node [fontname="Helvetica",fontsize="10",shape=record];
  rankdir="LR";
  Node1 [label="osl::checkmate::DualDfpn\l::Shared",height=0.2,width=0.4,color="black", fillcolor="grey75", style="filled" fontcolor="black"];
  Node2 -> Node1 [dir="back",color="darkorchid3",fontsize="10",style="dashed",label=" disproof_table" ,fontname="Helvetica"];
  Node2 [label="hash_map\< HashKey,\l disproof_list_t \>",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled"];
  Node3 -> Node2 [dir="back",color="orange",fontsize="10",style="dashed",label=" \< HashKey, disproof\l_list_t \>" ,fontname="Helvetica"];
  Node3 [label="hash_map",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled"];
  Node4 -> Node1 [dir="back",color="darkorchid3",fontsize="10",style="dashed",label=" table" ,fontname="Helvetica"];
  Node4 [label="CArray\< osl::checkmate\l::DfpnTable, 2 \>",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled"];
  Node5 -> Node4 [dir="back",color="orange",fontsize="10",style="dashed",label=" \< osl::checkmate::DfpnTable, 2 \>" ,fontname="Helvetica"];
  Node5 [label="CArray",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled"];
  Node6 -> Node1 [dir="back",color="darkorchid3",fontsize="10",style="dashed",label=" pool" ,fontname="Helvetica"];
  Node6 [label="CArray\< osl::checkmate\l::DualDfpn::OraclePool, 2 \>",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled"];
  Node5 -> Node6 [dir="back",color="orange",fontsize="10",style="dashed",label=" \< osl::checkmate::DualDfpn\l::OraclePool, 2 \>" ,fontname="Helvetica"];
  Node7 -> Node1 [dir="back",color="darkorchid3",fontsize="10",style="dashed",label=" blocking_verify" ,fontname="Helvetica"];
  Node7 [label="CArray\< bool, 2 \>",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled"];
  Node5 -> Node7 [dir="back",color="orange",fontsize="10",style="dashed",label=" \< bool, 2 \>" ,fontname="Helvetica"];
  Node8 -> Node1 [dir="back",color="darkorchid3",fontsize="10",style="dashed",label=" proof_by_oracle" ,fontname="Helvetica"];
  Node8 [label="CArray\< stat::Average,\l max_oracle_list_size \>",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled"];
  Node5 -> Node8 [dir="back",color="orange",fontsize="10",style="dashed",label=" \< stat::Average, max\l_oracle_list_size \>" ,fontname="Helvetica"];
}
