cprover
Loading...
Searching...
No Matches
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
#include <
util/ui_message.h
>
15
16
incremental_goto_checkert::incremental_goto_checkert
(
17
const
optionst
&
options
,
18
ui_message_handlert
&
ui_message_handler
)
19
:
options
(
options
),
20
ui_message_handler
(
ui_message_handler
),
21
log
(
ui_message_handler
)
22
{
23
}
24
25
incremental_goto_checkert::resultt::resultt
(
resultt::progresst
progress
)
26
:
progress
(
progress
)
27
{
28
}
incremental_goto_checkert::incremental_goto_checkert
incremental_goto_checkert()=delete
incremental_goto_checkert::log
messaget log
Definition
incremental_goto_checker.h:93
incremental_goto_checkert::options
const optionst & options
Definition
incremental_goto_checker.h:91
incremental_goto_checkert::ui_message_handler
ui_message_handlert & ui_message_handler
Definition
incremental_goto_checker.h:92
optionst
Definition
options.h:23
ui_message_handlert
Definition
ui_message.h:22
incremental_goto_checker.h
Incremental Goto Checker Interface.
incremental_goto_checkert::resultt::resultt
resultt()=delete
incremental_goto_checkert::resultt::progresst
progresst
Definition
incremental_goto_checker.h:45
incremental_goto_checkert::resultt::progress
progresst progress
Definition
incremental_goto_checker.h:54
ui_message.h
goto-checker
incremental_goto_checker.cpp
Generated by
1.13.2