CBMC
statement_list_language.h File Reference

Statement List Language Interface. More...

+ Include dependency graph for statement_list_language.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  statement_list_languaget
 Implements the language interface for the Statement List language. More...
 

Functions

std::unique_ptr< languagetnew_statement_list_language ()
 

Detailed Description

Statement List Language Interface.

Definition in file statement_list_language.h.

Function Documentation

◆ new_statement_list_language()

std::unique_ptr<languaget> new_statement_list_language ( )

Definition at line 149 of file statement_list_language.cpp.