Class Dune::GDT::Exceptions::prolongation_error

Inherits from Dune::GDT::Exceptions::operator_error.

class Dune::GDT::Exceptions::prolongation_error : public operator_error

Exception thrown on errors during prolongation.