Class Dune::GDT::Exceptions::basis_error

Inherits from Dune::GDT::Exceptions::space_error.

class Dune::GDT::Exceptions::basis_error : public space_error

Exception thrown on errors related to bases.