Moved the definition of transitional matrices from ExactSolver class to Model class