Searched refs:theoryFileNames (Results 1 – 2 of 2) sorted by relevance
46 StringList* theoryFileNames() in theoryFileNames() function in Shell::LTB::Selector
123 StringList::Iterator names(selector.theoryFileNames()); in getProblemClauses()