cprover
incremental_goto_checker.cpp
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Incremental Goto Checker Interface
4
5
Author: Daniel Kroening, Peter Schrammel
6
7
\*******************************************************************/
8
11
12
#include "
incremental_goto_checker.h
"
13
14
incremental_goto_checkert::incremental_goto_checkert
(
15
const
optionst
&options,
16
ui_message_handlert
&ui_message_handler)
17
: options(options),
18
ui_message_handler(ui_message_handler),
19
log(ui_message_handler)
20
{
21
}
22
23
incremental_goto_checkert::resultt::resultt
(
resultt::progresst
progress)
24
: progress(progress)
25
{
26
}
ui_message_handlert
Definition:
ui_message.h:20
optionst
Definition:
options.h:23
incremental_goto_checkert::resultt::progresst
progresst
Definition:
incremental_goto_checker.h:43
incremental_goto_checkert::resultt::resultt
resultt()=delete
incremental_goto_checker.h
Incremental Goto Checker Interface.
incremental_goto_checkert::incremental_goto_checkert
incremental_goto_checkert()=delete
goto-checker
incremental_goto_checker.cpp
Generated by
1.8.20