* factored out QueryResult, CQueryResultIndex from ConcHolder.h to new QueryResult.h
Authored by: mukau 2016-12-12
Parent: [r759]
Child: [r761]