Restructure PRG sources and add visitor for Concurrent/Prompt CF inconsistency detection (!861) · Merge requests · Gaudi / Gaudi · GitLab

Illya Shapoval requested to merge ishapova/Gaudi:extend-restructure-visitors into master Mar 08, 2019

restructure PRG related sources and introduce 3 categories for PRG visitors: promoters, rankers and validators;
add visitor searching for Concurrent/Prompt inconsistencies in task precedence rules;
fix tests and update refs to account for introduction of the Concurrent/Prompt contradiction detector.