TverdictOper TverdictOper.cc TverdictOper_se[qt].cc TverdictOper_se[qt]of.cc TverdictOper_union.cc TverdictOper.hh verdictOper.log