Searched defs:NodeTheoryPair (Results 1 – 1 of 1) sorted by relevance
61 struct NodeTheoryPair { struct65 NodeTheoryPair(TNode node, theory::TheoryId theory, size_t timestamp = 0) argument67 NodeTheoryPair() : theory(theory::THEORY_LAST), timestamp() {} in NodeTheoryPair() argument