Searched refs:d_channels (Results 1 – 8 of 8) sorted by relevance
50 d_channels(channels), in TheoryProxy()66 return d_channels->getLemmaInputChannel(); in inputChannel()71 return d_channels->getLemmaOutputChannel(); in outputChannel()
121 LemmaChannels* d_channels; variable
313 d->d_channels.append(s); in openTcpSocket()557 for (i = d_channels.constBegin(); i != d_channels.constEnd(); ++i){ in d_readyRead()621 d_channels.removeAll(channel); in d_channelDestroyed()
52 QList<QSshChannel*> d_channels; variable
407 LemmaChannels* d_channels; variable1040 LemmaChannels* channels() { return d_channels; } in channels()
895 d_channels(new LemmaChannels()) in SmtEngine()931 d_channels); in finishInit()960 d_replayStream, d_channels); in finishInit()1122 delete d_channels; in ~SmtEngine()1123 d_channels = NULL; in ~SmtEngine()
471 LemmaChannels* d_channels; variable
319 d_channels(channels), in TheoryEngine()1821 if(d_channels->getLemmaOutputChannel() != NULL) { in lemma()1822 d_channels->getLemmaOutputChannel()->notifyNewLemma(node.toExpr()); in lemma()