Class Dune::GDT::Exceptions::tools_error

Inherits from Exception.

class Dune::GDT::Exceptions::tools_error : public Exception

Exception thrown on errors in the tools of dune/gdt/tools/.