var channel_8h =
[
    [ "CVC4::SharedChannel< T >", "classCVC4_1_1SharedChannel.html", "classCVC4_1_1SharedChannel" ],
    [ "CVC4::SynchronizedSharedChannel< T >", "classCVC4_1_1SynchronizedSharedChannel.html", "classCVC4_1_1SynchronizedSharedChannel" ]
];