Loop Acceleration. More...
#include "path.h"#include <goto-programs/goto_program.h>#include <map>#include <vector>#include <set>#include <iosfwd>
Include dependency graph for trace_automaton.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | automatont |
| class | trace_automatont |
Typedefs | |
| typedef unsigned int | statet |
| typedef std::set< statet > | state_sett |
Detailed Description
Loop Acceleration.
Definition in file trace_automaton.h.
Typedef Documentation
◆ state_sett
| typedef std::set<statet> state_sett |
Definition at line 25 of file trace_automaton.h.
◆ statet
| typedef unsigned int statet |
Definition at line 24 of file trace_automaton.h.
