DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <EventEncoder.hh>
Public Types | |
using | VariableEncoderId = VariableVector::size_type |
using | Event = size_t |
Public Member Functions | |
EventEncoder (VariableFactory &varFactory) | |
template<typename EventIterator > | |
VariableEncoderId | encodeEventRange (EventIterator first, EventIterator last) |
Variable & | getVariable (VariableEncoderId id) |
std::vector< Event > & | getDomain (VariableEncoderId id) |
Private Member Functions | |
const Value & | encodeEventInVariable (VariableEncoderId varId, Event evt) |
Private Attributes | |
VariableFactory & | _variables |
VariableVector | _encodedVariables |
std::vector< std::vector< Event > > | _domains |
This class encodes ranges of Event as a Variable with a domain that encode the given range It might encode several range. For each range a new Variable is created. To access a Variable and its non-encoded domain (set of Event) the encoder provides an Id.
Definition at line 33 of file EventEncoder.hh.
using Diades::Sdmdl::Experimental::EventEncoder::Event = size_t |
Definition at line 45 of file EventEncoder.hh.
using Diades::Sdmdl::Experimental::EventEncoder::VariableEncoderId = VariableVector::size_type |
Definition at line 40 of file EventEncoder.hh.
|
inline |
Constructor
varFactory | the permanent reference to a VariableFactory |
Definition at line 75 of file EventEncoder.hh.
|
inlineprivate |
Encode an event into predefined variable
var | the Variable that is already created by the encode |
evt | a new Event to encode in the domain of the variable |
Definition at line 88 of file EventEncoder.hh.
Referenced by encodeEventRange().
|
inline |
Encode a range of Events. Creation of a new Variable for this range
Definition at line 107 of file EventEncoder.hh.
References encodeEventInVariable(), Diades::Sdmdl::VariableFactory::newVariable(), and Diades::Sdmdl::VariableFactory::numberOfAllocatedVariables().
Referenced by runGlobalDiagnosisProblem().
|
inline |
id | a Variable Id given by the EventEncoder |
Definition at line 143 of file EventEncoder.hh.
|
inline |
id | a Variable Id given by the EventEncoder |
Definition at line 133 of file EventEncoder.hh.
Referenced by runGlobalDiagnosisProblem().
|
private |
Definition at line 67 of file EventEncoder.hh.
|
private |
Definition at line 60 of file EventEncoder.hh.
|
private |
Definition at line 54 of file EventEncoder.hh.