36#ifndef TPG_ABSTRACT_ENGINE_H
37#define TPG_ABSTRACT_ENGINE_H
39#include "program/program.h"
40#include "tpg/tpgGraph.h"
65 std::map<const Program::Program*, uint64_t>
programID;
83 std::map<const TPG::TPGVertex*, uint64_t>
vertexID;
The Program class contains a list of program lines that can be executed within a well defined Environ...
Definition: program.h:53
Abstract Class in charge of managing maps to give a unique ID for vertex and a program of a TPGGraph.
Definition: tpgAbstractEngine.h:49
std::map< const TPG::TPGVertex *, uint64_t > vertexID
Map associating pointers to TPGVertex to an integer ID.
Definition: tpgAbstractEngine.h:83
const TPG::TPGGraph & tpg
Reference to the TPGGraph whose content will be used to fill the maps.
Definition: tpgAbstractEngine.h:56
uint64_t nbVertex
Integer number used during export to associate a unique integer identifier to each new TPGTeam.
Definition: tpgAbstractEngine.h:92
uint64_t nbActions
Integer number used during export to associate a unique integer identifier to each TPGAction.
Definition: tpgAbstractEngine.h:101
uint64_t findVertexID(const TPG::TPGVertex &vertex)
Method for finding the unique identifier associated to a given TPGVertex.
Definition: tpgAbstractEngine.cpp:56
bool findProgramID(const Program::Program &prog, uint64_t &id)
Method for finding the unique identifier associated to a given Program.
Definition: tpgAbstractEngine.cpp:38
uint64_t nbPrograms
Integer number used to associate a unique integer identifier to each new Program.
Definition: tpgAbstractEngine.h:74
TPGAbstractEngine(const TPG::TPGGraph &tpg)
Constructor for the abstract engine.
Definition: tpgAbstractEngine.h:110
std::map< const Program::Program *, uint64_t > programID
Map associating pointers to Program to an integer ID.
Definition: tpgAbstractEngine.h:65
Class for storing a Tangled-Program-Graph.
Definition: tpgGraph.h:54
Abstract class representing the vertices of a TPGGraph.
Definition: tpgVertex.h:49
Definition: tpgActionInstrumented.h:8