Jafar
|
This class will manage a sparse history. More...
This class will manage a sparse history.
Definition at line 82 of file historyManager.hpp.
#include <historyManager.hpp>
Classes | |
struct | Gate |
struct | State |
Public Member Functions | |
HistoryManagerSparse (map_ptr_t map, jblas::ind_array ia_state, double first, double factor, int count) | |
void | process (double date) |
void | print () |
Protected Types | |
typedef std::vector< Gate > | GateVector |
Protected Attributes | |
GateVector | gates |
double | start_date |
double | end_date |
bool | ended |
double | first_gate_factor |
double | last_date |
bool | processed |
double | horizon_date |
Generated on Wed Oct 15 2014 00:37:45 for Jafar by doxygen 1.7.6.1 |