digraph "zypp/solver/detail/SATResolver.cc"
{
 // LATEX_PDF_SIZE
  edge [fontname="Helvetica",fontsize="10",labelfontname="Helvetica",labelfontsize="10"];
  node [fontname="Helvetica",fontsize="10",shape=record];
  Node1 [label="zypp/solver/detail\l/SATResolver.cc",height=0.2,width=0.4,color="black", fillcolor="grey75", style="filled", fontcolor="black",tooltip=" "];
  Node1 -> Node2 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node2 [label="solv/repo_solv.h",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled",tooltip=" "];
  Node1 -> Node3 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node3 [label="solv/poolarch.h",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled",tooltip=" "];
  Node1 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node4 [label="solv/evr.h",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled",tooltip=" "];
  Node1 -> Node5 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node5 [label="solv/poolvendor.h",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled",tooltip=" "];
  Node1 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node6 [label="solv/policy.h",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled",tooltip=" "];
  Node1 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node7 [label="solv/bitmap.h",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled",tooltip=" "];
  Node1 -> Node8 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node8 [label="solv/queue.h",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled",tooltip=" "];
  Node1 -> Node9 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node9 [label="zypp/base/LogTools.h",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$LogTools_8h.html",tooltip=" "];
  Node9 -> Node10 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node10 [label="iostream",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled",tooltip=" "];
  Node9 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node11 [label="string",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled",tooltip=" "];
  Node9 -> Node12 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node12 [label="vector",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled",tooltip=" "];
  Node9 -> Node13 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node13 [label="list",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled",tooltip=" "];
  Node9 -> Node14 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node14 [label="set",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled",tooltip=" "];
  Node9 -> Node15 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node15 [label="map",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled",tooltip=" "];
  Node9 -> Node16 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node16 [label="zypp/base/Hash.h",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$Hash_8h.html",tooltip=" "];
  Node16 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node17 [label="iosfwd",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled",tooltip=" "];
  Node9 -> Node20 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node20 [label="zypp/base/Logger.h",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$Logger_8h.html",tooltip=" "];
  Node20 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node20 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node9 -> Node22 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node22 [label="zypp/base/Iterator.h",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$Iterator_8h.html",tooltip=" "];
  Node9 -> Node30 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node30 [label="zypp/APIConfig.h",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled",tooltip=" "];
  Node1 -> Node31 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node31 [label="zypp/base/Gettext.h",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$Gettext_8h.html",tooltip="Interface to gettext."];
  Node1 -> Node32 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node32 [label="zypp/base/Algorithm.h",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$Algorithm_8h.html",tooltip=" "];
  Node32 -> Node33 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node33 [label="algorithm",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled",tooltip=" "];
  Node1 -> Node34 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node34 [label="zypp/ZConfig.h",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$ZConfig_8h.html",tooltip=" "];
  Node34 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node34 -> Node14 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node34 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node34 -> Node30 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node34 -> Node35 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node35 [label="zypp/base/NonCopyable.h",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$NonCopyable_8h.html",tooltip=" "];
  Node34 -> Node37 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node37 [label="zypp/base/PtrTypes.h",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$PtrTypes_8h.html",tooltip=" "];
  Node37 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node37 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node34 -> Node42 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node42 [label="zypp/Arch.h",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$Arch_8h.html",tooltip=" "];
  Node42 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node42 -> Node14 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node42 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node42 -> Node22 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node34 -> Node62 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node62 [label="zypp/Locale.h",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$Locale_8h.html",tooltip=" "];
  Node62 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node62 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node62 -> Node16 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node34 -> Node65 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node65 [label="zypp/Pathname.h",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$Pathname_8h.html",tooltip=" "];
  Node65 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node65 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node34 -> Node56 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node56 [label="zypp/IdString.h",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$IdString_8h.html",tooltip=" "];
  Node56 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node56 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node34 -> Node66 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node66 [label="zypp/TriBool.h",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$TriBool_8h.html",tooltip=" "];
  Node66 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node66 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node34 -> Node68 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node68 [label="zypp/ResolverFocus.h",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$ResolverFocus_8h.html",tooltip=" "];
  Node68 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node68 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node34 -> Node69 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node69 [label="zypp/DownloadMode.h",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$DownloadMode_8h.html",tooltip=" "];
  Node69 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node34 -> Node70 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node70 [label="zypp/target/rpm/RpmFlags.h",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$RpmFlags_8h.html",tooltip=" "];
  Node70 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node1 -> Node72 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node72 [label="zypp/Product.h",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$Product_8h.html",tooltip=" "];
  Node72 -> Node13 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node72 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node72 -> Node73 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node73 [label="zypp/ResObject.h",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$ResObject_8h.html",tooltip=" "];
  Node73 -> Node30 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node1 -> Node126 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node126 [label="zypp/AutoDispose.h",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$AutoDispose_8h.html",tooltip=" "];
  Node126 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node126 -> Node127 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node127 [label="boost/call_traits.hpp",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled",tooltip=" "];
  Node126 -> Node35 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node126 -> Node37 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node1 -> Node128 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node128 [label="zypp/sat/WhatProvides.h",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$WhatProvides_8h.html",tooltip=" "];
  Node128 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node128 -> Node12 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node128 -> Node37 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node1 -> Node138 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node138 [label="zypp/sat/WhatObsoletes.h",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$WhatObsoletes_8h.html",tooltip=" "];
  Node138 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node138 -> Node12 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node138 -> Node128 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node1 -> Node139 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node139 [label="zypp/sat/detail/PoolImpl.h",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$sat_2detail_2PoolImpl_8h.html",tooltip=" "];
  Node139 -> Node3 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node139 -> Node2 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node139 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node139 -> Node16 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node139 -> Node35 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node139 -> Node62 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node139 -> Node56 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node1 -> Node148 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node148 [label="zypp/solver/detail\l/Resolver.h",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$solver_2detail_2Resolver_8h.html",tooltip=" "];
  Node1 -> Node149 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node149 [label="zypp/solver/detail\l/SATResolver.h",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$SATResolver_8h.html",tooltip=" "];
  Node1 -> Node150 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node150 [label="zypp/solver/detail\l/ProblemSolutionCombi.h",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$ProblemSolutionCombi_8h.html",tooltip=" "];
  Node1 -> Node151 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node151 [label="zypp/solver/detail\l/ProblemSolutionIgnore.h",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$ProblemSolutionIgnore_8h.html",tooltip=" "];
  Node1 -> Node152 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node152 [label="zypp/solver/detail\l/SolverQueueItemInstall.h",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$SolverQueueItemInstall_8h.html",tooltip=" "];
  Node152 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node152 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node152 -> Node153 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node153 [label="zypp/solver/detail\l/SolverQueueItem.h",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$SolverQueueItem_8h.html",tooltip=" "];
  Node1 -> Node154 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node154 [label="zypp/solver/detail\l/SolverQueueItemDelete.h",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$SolverQueueItemDelete_8h.html",tooltip=" "];
  Node154 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node154 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node154 -> Node153 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node1 -> Node155 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node155 [label="zypp/solver/detail\l/SystemCheck.h",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$SystemCheck_8h.html",tooltip=" "];
  Node1 -> Node156 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node156 [label="zypp/solver/detail\l/SolutionAction.h",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$SolutionAction_8h.html",tooltip=" "];
  Node1 -> Node153 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
}
