cprover
enumerating_loop_accelerationt Class Reference

#include <enumerating_loop_acceleration.h>

Inheritance diagram for enumerating_loop_accelerationt:
[legend]
Collaboration diagram for enumerating_loop_accelerationt:
[legend]

Public Member Functions

 enumerating_loop_accelerationt (symbol_tablet &_symbol_table, goto_functionst &_goto_functions, goto_programt &_goto_program, natural_loops_mutablet::natural_loopt &_loop, goto_programt::targett _loop_header, int _path_limit)
 
 ~enumerating_loop_accelerationt ()
 
virtual bool accelerate (path_acceleratort &accelerator)
 

Protected Attributes

symbol_tabletsymbol_table
 
goto_functionstgoto_functions
 
goto_programtgoto_program
 
natural_loops_mutablet::natural_looptloop
 
goto_programt::targett loop_header
 
polynomial_acceleratort polynomial_accelerator
 
int path_limit
 
path_enumeratortpath_enumerator
 

Detailed Description

Definition at line 26 of file enumerating_loop_acceleration.h.

Constructor & Destructor Documentation

◆ enumerating_loop_accelerationt()

enumerating_loop_accelerationt::enumerating_loop_accelerationt ( symbol_tablet _symbol_table,
goto_functionst _goto_functions,
goto_programt _goto_program,
natural_loops_mutablet::natural_loopt _loop,
goto_programt::targett  _loop_header,
int  _path_limit 
)
inline

◆ ~enumerating_loop_accelerationt()

enumerating_loop_accelerationt::~enumerating_loop_accelerationt ( )
inline

Definition at line 50 of file enumerating_loop_acceleration.h.

References path_enumerator.

Member Function Documentation

◆ accelerate()

Member Data Documentation

◆ goto_functions

goto_functionst& enumerating_loop_accelerationt::goto_functions
protected

Definition at line 59 of file enumerating_loop_acceleration.h.

Referenced by enumerating_loop_accelerationt().

◆ goto_program

goto_programt& enumerating_loop_accelerationt::goto_program
protected

Definition at line 60 of file enumerating_loop_acceleration.h.

Referenced by accelerate(), and enumerating_loop_accelerationt().

◆ loop

natural_loops_mutablet::natural_loopt& enumerating_loop_accelerationt::loop
protected

Definition at line 61 of file enumerating_loop_acceleration.h.

Referenced by enumerating_loop_accelerationt().

◆ loop_header

goto_programt::targett enumerating_loop_accelerationt::loop_header
protected

Definition at line 62 of file enumerating_loop_acceleration.h.

Referenced by enumerating_loop_accelerationt().

◆ path_enumerator

path_enumeratort* enumerating_loop_accelerationt::path_enumerator
protected

◆ path_limit

int enumerating_loop_accelerationt::path_limit
protected

Definition at line 64 of file enumerating_loop_acceleration.h.

Referenced by accelerate().

◆ polynomial_accelerator

polynomial_acceleratort enumerating_loop_accelerationt::polynomial_accelerator
protected

Definition at line 63 of file enumerating_loop_acceleration.h.

Referenced by accelerate().

◆ symbol_table

symbol_tablet& enumerating_loop_accelerationt::symbol_table
protected

Definition at line 58 of file enumerating_loop_acceleration.h.

Referenced by accelerate(), and enumerating_loop_accelerationt().


The documentation for this class was generated from the following files: