Otawa
0.10
|
A context allows to share a CLP problem through different constructions of ClpStatePack. More...
#include <otawa/data/clp/ClpPack.h>
Public Member Functions | |
Context (Process *process) | |
Buid a ClpPack context. More... | |
Context (ClpProblem &problem) | |
Build a ClpPacl context from an existing problem. More... | |
~Context (void) | |
ClpProblem & | problem (void) const |
Private Attributes | |
ClpProblem * | prob |
bool | to_free |
A context allows to share a CLP problem through different constructions of ClpStatePack.
ClpStatePack works at the basic block level and, when one has a lot of basic block to process (like in CFG), this Context object allows to factor a part of the initialization.
otawa::clp::ClpStatePack::Context::Context | ( | Process * | process | ) |
Buid a ClpPack context.
process | Analyzed process. |
References otawa::clp::ClpStatePack::ClpProblem, and prob.
otawa::clp::ClpStatePack::Context::Context | ( | ClpProblem & | problem | ) |
Build a ClpPacl context from an existing problem.
problem | The problem. |
otawa::clp::ClpStatePack::Context::~Context | ( | void | ) |
|
inline |
References prob.
Referenced by otawa::clp::ClpStatePack::ClpStatePack().
|
private |
|
private |