CBMC
cscanner.cpp File Reference
#include "cscanner.h"
+ Include dependency graph for cscanner.cpp:

Go to the source code of this file.

Functions

int yyclex ()
 
int yyclex_destroy ()
 
void initialize_yyc_scanner ()
 

Variables

cscannertcscanner_ptr
 

Function Documentation

◆ initialize_yyc_scanner()

void initialize_yyc_scanner ( )

◆ yyclex()

int yyclex ( )

◆ yyclex_destroy()

int yyclex_destroy ( )

Variable Documentation

◆ cscanner_ptr

cscannert* cscanner_ptr

Definition at line 11 of file cscanner.cpp.