CBMC
Public Attributes | List of all members
language_entryt Struct Reference
+ Collaboration diagram for language_entryt:

Public Attributes

language_factoryt factory
 
std::set< std::string > extensions
 
irep_idt mode
 

Detailed Description

Definition at line 25 of file mode.cpp.

Member Data Documentation

◆ extensions

std::set<std::string> language_entryt::extensions

Definition at line 28 of file mode.cpp.

◆ factory

language_factoryt language_entryt::factory

Definition at line 27 of file mode.cpp.

◆ mode

irep_idt language_entryt::mode

Definition at line 29 of file mode.cpp.

The documentation for this struct was generated from the following file: