Got rid off deprecated IsTrue and header files.

[[Imported from SVN: r906]]

istl/paamg/hierarchy.hh

@@ -549,9 +549,11 @@ namespace Dune
       : matrices_(const_cast<MatrixOperator&>(fineOperator)),
         parallelInformation_(const_cast<ParallelInformation&>(pinfo))
     {
-      IsTrue<static_cast<int>(MatrixOperator::category) == static_cast<int>(SolverCategory::sequential) ||
-          static_cast<int>(MatrixOperator::category) == static_cast<int>(SolverCategory::overlapping)>::yes();
-      IsTrue<static_cast<int>(MatrixOperator::category) == static_cast<int>(ParallelInformation::category)>::yes();
+      dune_static_assert((static_cast<int>(MatrixOperator::category) == static_cast<int>(SolverCategory::sequential) ||
+                          static_cast<int>(MatrixOperator::category) == static_cast<int>(SolverCategory::overlapping)),
+                         "MatrixOperator must be of category sequential or overlapping");
+      dune_static_assert((static_cast<int>(MatrixOperator::category) == static_cast<int>(ParallelInformation::category)),
+                         "MatrixOperator and ParallelInformation must belong to the same category!");
     }
 
     template<class M, class IS, class A>