[DivergenceAnalysis] Separated definition of class into header.