10 #ifndef CPROVER_LANGAPI_MODE_H 11 #define CPROVER_LANGAPI_MODE_H 24 #endif // CPROVER_LANGAPI_MODE_H languaget * get_language_from_filename(const std::string &filename)
languaget * get_default_language()
void register_language(language_factoryt factory)
languaget * get_language_from_mode(const irep_idt &mode)
languaget *(* language_factoryt)()