CBMC
Loading...
Searching...
No Matches
Functions
converter.cpp File Reference
#include <fstream>
#include <iostream>
#include <string>
+ Include dependency graph for converter.cpp:

Go to the source code of this file.

Functions

bool  has_prefix (const std::string &s, const std::string &prefix)
 
static void  convert_line (const std::string &line, bool first)
 
int  main (int argc, char *argv[])
 

Function Documentation

◆  convert_line()

static void convert_line ( const std::string &  line,
bool  first 
)
static

Definition at line 18 of file converter.cpp.

◆  has_prefix()

bool has_prefix ( const std::string &  s,
const std::string &  prefix 
)

Definition at line 13 of file converter.cpp.

◆  main()

int main ( int  argc,
char *  argv[] 
)

Definition at line 56 of file converter.cpp.

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