Searched refs:RowLemmaType (Results 1 – 3 of 3) sorted by relevance
371 using RowLemmaType = std::tuple<TNode, TNode, TNode, TNode>; variable373 context::CDQueue<RowLemmaType> d_RowQueue;374 context::CDHashSet<RowLemmaType, RowLemmaTypeHashFunction > d_RowAlreadyAdded;445 void propagate(RowLemmaType lem);446 void queueRowLemma(RowLemmaType lem);
37 using RowLemmaType = std::tuple<TNode, TNode, TNode, TNode>; variable40 size_t operator()(const RowLemmaType& q) const { in operator()
1620 RowLemmaType lem; in setNonLinear()1852 RowLemmaType lem; in checkStore()1890 RowLemmaType lem; in checkRowForIndex()1946 RowLemmaType lem; in checkRowLemmas()1980 void TheoryArrays::propagate(RowLemmaType lem) in propagate()2035 void TheoryArrays::queueRowLemma(RowLemmaType lem) in queueRowLemma()2164 RowLemmaType l = d_RowQueue.front(); in dischargeLemmas()