ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
algorithm.h
Go to the documentation of this file.
1#pragma once
2
6template <typename T>
8{
9public:
13
14 virtual ~algorithm() = default;
15
21 virtual bool run(T &) = 0;
22
29 {
30 return sideeffect;
31 }
32
33protected:
34 // The algorithm changes the CFG, container in some way?
35 const bool sideeffect;
36};
virtual ~algorithm()=default
virtual bool run(T &)=0
Executes the algorithm over a T object.
algorithm(bool sideeffect)
Definition algorithm.h:10
const bool sideeffect
Definition algorithm.h:35
bool has_sideeffect()
Says wether the algorithm is a plain analysis or if it also changes the structure.
Definition algorithm.h:28
#define T
Definition exp2f.c:24