Driver of abstract interpretation with a simple to-do list.
More...
#include <otawa/dfa/ai.h>
template<class D, class G, class S>
class otawa::ai::WorkListDriver< D, G, S >
Driver of abstract interpretation with a simple to-do list.
- Parameters
-
template<class D , class G , class S >
template<class D , class G , class S >
Initialize the driver.
- Parameters
-
dom | Domain. |
graph | Graph to analyze. |
store | Storage to get domain values. |
template<class D , class G , class S >
Called when the output state of the current vertex is changed (and successors must be updated).
template<class D , class G , class S >
Set the new output state of the current vertex.
template<class D , class G , class S >
Called when the output state of the current vertex for the given edge is changed (and successors must be updated).
template<class D , class G , class S >
Change the output value of the current vertex for the given edge.
template<class D , class G , class S >
template<class D , class G , class S >
If there is a state change for the given edge.
template<class D , class G , class S >
template<class D , class G , class S >
Test if the traversal is ended.
- Returns
- True if ended, false else.
References otawa::p::end.
template<class D , class G , class S >
template<class D , class G , class S >
Compute the input state for the given vertex.
- Parameters
-
vertex | Vertex whose input is required. |
- Returns
- Input state of vertex.
template<class D , class G , class S >
Get the current vertex.
- Returns
- Current vertex.
template<class D , class G , class S >
template<class D , class G , class S >
template<class D , class G , class S >
template<class D , class G , class S >
template<class D , class G , class S >
template<class D , class G , class S >
template<class D , class G , class S >
template<class D , class G , class S >
template<class D , class G , class S >
template<class D , class G , class S >
The documentation for this class was generated from the following files: