graph G {
    compound="true"
    rankdir="TB"
    bgcolor="white"
    fontname="Tahoma"

    node [
        fixedsize="false"
        fontname="Tahoma"
        color="white"
        fillcolor="deepskyblue2"
        fontcolor="black"
        shape="box"
        style="filled"
        penwidth="1.0"
    ]
    edge [
        fontname="Arial"
        color="#00688b"
        fontcolor="black"
        fontsize="12"
        arrowsize="0.5"
        penwidth="1.0"
    ]




    "[include/Exceptions.h]" -- "[include/DisjointUnionAbstractDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/PowersetAbstractDomain.h]" -- "[include/IntervalDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/MonotonicFixpointIterator.h]" -- "[include/AbstractDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/PowersetAbstractDomain.h]" -- "[include/FiniteAbstractDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/PatriciaTreeSetAbstractDomain.h]" -- "[include/PatriciaTreeSet.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/IntervalDomain.h]" -- "[include/DisjointUnionAbstractDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/PatriciaTreeUtil.h]" -- "[include/Exceptions.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/PatriciaTreeMapAbstractPartition.h]" -- "[include/HashedSetAbstractDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/WeakPartialOrdering.h]" -- "[include/MonotonicFixpointIterator.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/ConstantAbstractDomain.h]" -- "[cmake_modules/Commons.cmake]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/SparseSetAbstractDomain.h]" -- "[include/AbstractDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/SpartaWorkQueue.h]" -- "[include/SparseSetAbstractDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/HashedSetAbstractDomain.h]" -- "[include/DisjointUnionAbstractDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/MonotonicFixpointIterator.h]" -- "[include/DisjointUnionAbstractDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/SparseSetAbstractDomain.h]" -- "[include/DirectProductAbstractDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/SparseSetAbstractDomain.h]" -- "[include/HashedAbstractPartition.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/PatriciaTreeUtil.h]" -- "[include/PatriciaTreeMapAbstractPartition.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/SmallSortedSetAbstractDomain.h]" -- "[include/ConstantAbstractDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/WeakPartialOrdering.h]" -- "[include/AbstractDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/MonotonicFixpointIterator.h]" -- "[cmake_modules/Commons.cmake]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/DisjointUnionAbstractDomain.h]" -- "[include/DirectProductAbstractDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/MonotonicFixpointIterator.h]" -- "[include/Analyzer.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/ReducedProductAbstractDomain.h]" -- "[include/ConstantAbstractDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/SpartaWorkQueue.h]" -- "[include/Arity.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/SpartaWorkQueue.h]" -- "[include/ConstantAbstractDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/SpartaWorkQueue.h]" -- "[include/PatriciaTreeSet.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/WeakTopologicalOrdering.h]" -- "[cmake_modules/Commons.cmake]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/PatriciaTreeMap.h]" -- "[include/MonotonicFixpointIterator.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/SmallSortedSetAbstractDomain.h]" -- "[include/HashedAbstractPartition.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/HashedAbstractEnvironment.h]" -- "[include/DirectProductAbstractDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/FiniteAbstractDomain.h]" -- "[include/AbstractDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/WeakTopologicalOrdering.h]" -- "[include/PatriciaTreeMapAbstractPartition.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/PatriciaTreeSet.h]" -- "[include/Exceptions.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/SparseSetAbstractDomain.h]" -- "[include/FiniteAbstractDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/PatriciaTreeSet.h]" -- "[include/HashedSetAbstractDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/PatriciaTreeSet.h]" -- "[include/IntervalDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/WeakTopologicalOrdering.h]" -- "[include/FlatSet.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/PatriciaTreeMap.h]" -- "[include/Exceptions.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/PatriciaTreeOverUnderSetAbstractDomain.h]" -- "[cmake_modules/gtest.cmake.in]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/SmallSortedSetAbstractDomain.h]" -- "[include/ReducedProductAbstractDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/S_Expression.h]" -- "[include/IntervalDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/S_Expression.h]" -- "[include/FiniteAbstractDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/HashedAbstractEnvironment.h]" -- "[include/Exceptions.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/DisjointUnionAbstractDomain.h]" -- "[include/Arity.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/S_Expression.h]" -- "[include/PatriciaTreeOverUnderSetAbstractDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/ReducedProductAbstractDomain.h]" -- "[include/PowersetAbstractDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/HashedAbstractPartition.h]" -- "[include/Exceptions.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/FlatSet.h]" -- "[include/FixpointIterator.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/ReducedProductAbstractDomain.h]" -- "[include/PatriciaTreeSetAbstractDomain.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[include/DisjointUnionAbstractDomain.h]" -- "[include/Analyzer.h]" [label=" 1 ", penwidth="1", color="#00688b5E"];

}