cprover
path_acceleratort Class Reference

#include <accelerator.h>

Collaboration diagram for path_acceleratort:
[legend]

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< exprtchanged_vars
 
std::set< exprtdirty_vars
 

Detailed Description

Definition at line 26 of file accelerator.h.

Constructor & Destructor Documentation

§ path_acceleratort() [1/3]

path_acceleratort::path_acceleratort ( patht _path,
goto_programt pure,
goto_programt overflow,
std::set< exprt > &  changed,
std::set< exprt > &  dirty 
)
inline

§ path_acceleratort() [2/3]

path_acceleratort::path_acceleratort ( )
inline

Definition at line 42 of file accelerator.h.

§ path_acceleratort() [3/3]

path_acceleratort::path_acceleratort ( const path_acceleratort that)
inline

Member Function Documentation

§ clear()

Member Data Documentation

§ changed_vars

std::set<exprt> path_acceleratort::changed_vars

Definition at line 65 of file accelerator.h.

Referenced by disjunctive_polynomial_accelerationt::accelerate(), and clear().

§ dirty_vars

§ overflow_path

goto_programt path_acceleratort::overflow_path

Definition at line 64 of file accelerator.h.

Referenced by clear(), acceleratet::insert_accelerator(), and path_acceleratort().

§ path

§ pure_accelerator


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