Searched defs:currBegin (Results 1 – 3 of 3) sorted by relevance
95 CurrentIterator currBegin, in collectFileChangeEvents()163 CurrentIterator currBegin, in collectFileChangeEvents()
306 TheoryData::atom_iterator TheoryData::currBegin() const { in currBegin() function in Potassco::TheoryData