cprover
basic_blocks.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Group Basic Blocks in Goto Program
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_GOTO_PROGRAMS_BASIC_BLOCKS_H
13
#define CPROVER_GOTO_PROGRAMS_BASIC_BLOCKS_H
14
15
#include "
goto_program.h
"
16
17
void
basic_blocks
(
goto_programt
&goto_program,
18
unsigned
max_block_size=0);
19
20
#endif // CPROVER_GOTO_PROGRAMS_BASIC_BLOCKS_H
basic_blocks
void basic_blocks(goto_programt &goto_program, unsigned max_block_size=0)
convert basic blocks into single expressions of type "block"
Definition:
basic_blocks.cpp:15
goto_programt
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
Definition:
goto_program.h:24
goto_program.h
Concrete Goto Program.
goto-programs
basic_blocks.h
Generated by
1.8.12