renamed classes for PCPSolver