cprover
|
#include <accelerator.h>
Public Member Functions | |
path_acceleratort (patht &_path, goto_programt &pure, goto_programt &overflow, std::set< exprt > &changed, std::set< exprt > &dirty) | |
path_acceleratort () | |
path_acceleratort (const path_acceleratort &that) | |
void | clear () |
Public Attributes | |
patht | path |
goto_programt | pure_accelerator |
goto_programt | overflow_path |
std::set< exprt > | changed_vars |
std::set< exprt > | dirty_vars |
Definition at line 26 of file accelerator.h.
|
inline |
Definition at line 29 of file accelerator.h.
References goto_program_templatet< codeT, guardT >::copy_from(), overflow_path, and pure_accelerator.
|
inline |
Definition at line 42 of file accelerator.h.
|
inline |
Definition at line 44 of file accelerator.h.
References goto_program_templatet< codeT, guardT >::copy_from(), overflow_path, and pure_accelerator.
|
inline |
Definition at line 53 of file accelerator.h.
References changed_vars, goto_program_templatet< codeT, guardT >::clear(), dirty_vars, overflow_path, path, and pure_accelerator.
Referenced by disjunctive_polynomial_accelerationt::accelerate(), and polynomial_acceleratort::accelerate().
std::set<exprt> path_acceleratort::changed_vars |
Definition at line 65 of file accelerator.h.
Referenced by disjunctive_polynomial_accelerationt::accelerate(), and clear().
std::set<exprt> path_acceleratort::dirty_vars |
Definition at line 66 of file accelerator.h.
Referenced by disjunctive_polynomial_accelerationt::accelerate(), polynomial_acceleratort::accelerate(), clear(), acceleratet::is_underapproximate(), and acceleratet::set_dirty_vars().
goto_programt path_acceleratort::overflow_path |
Definition at line 64 of file accelerator.h.
Referenced by clear(), acceleratet::insert_accelerator(), and path_acceleratort().
patht path_acceleratort::path |
Definition at line 62 of file accelerator.h.
Referenced by enumerating_loop_accelerationt::accelerate(), disjunctive_polynomial_accelerationt::accelerate(), acceleratet::accelerate_loop(), and clear().
goto_programt path_acceleratort::pure_accelerator |
Definition at line 63 of file accelerator.h.
Referenced by disjunctive_polynomial_accelerationt::accelerate(), polynomial_acceleratort::accelerate(), acceleratet::accelerate_loop(), clear(), acceleratet::insert_accelerator(), path_acceleratort(), and acceleratet::set_dirty_vars().