Searched refs:SimpSubsumeTrie (Results 1 – 1 of 1) sorted by relevance
1068 class SimpSubsumeTrie class1072 std::map<Node, SimpSubsumeTrie> d_children;1121 for (std::pair<const Node, SimpSubsumeTrie>& cp : d_children) in addTerm()1293 SimpSubsumeTrie sst; in extendedRewriteEqChain()