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 
13 
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 
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