CBMC
Loading...
Searching...
No Matches
Public Attributes | List of all members
language_entryt Struct Reference
+ Collaboration diagram for language_entryt:
[フレーム]
[legend]

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:
  • /home/runner/work/cbmc/cbmc/src/langapi/mode.cpp

AltStyle によって変換されたページ (->オリジナル) /