|
@ -11,6 +11,7 @@ |
|
|
|
|
|
|
|
|
#include "src/sparse/static_sparse_matrix.h"
|
|
|
#include "src/sparse/static_sparse_matrix.h"
|
|
|
#include "src/models/dtmc.h"
|
|
|
#include "src/models/dtmc.h"
|
|
|
|
|
|
#include "src/models/atomic_propositions_labeling.h"
|
|
|
|
|
|
|
|
|
namespace mrmc { |
|
|
namespace mrmc { |
|
|
|
|
|
|
|
@ -77,16 +78,16 @@ void dtmcToDot(mrmc::models::Dtmc<double>* dtmc, const char* filename) { |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
mrmc::models::Dtmc<double>* parseDTMC(const char* tra_file, const char* lab_file) { |
|
|
mrmc::models::Dtmc<double>* parseDTMC(const char* tra_file, const char* lab_file) { |
|
|
/* mrmc::sparse::StaticSparseMatrix<double>* transition_matrix =
|
|
|
|
|
|
|
|
|
mrmc::sparse::StaticSparseMatrix<double>* transition_matrix = |
|
|
mrmc::parser::read_tra_file(tra_file); |
|
|
mrmc::parser::read_tra_file(tra_file); |
|
|
uint_fast64_t node_count = transition_matrix->getRowCount(); |
|
|
uint_fast64_t node_count = transition_matrix->getRowCount(); |
|
|
|
|
|
|
|
|
mrmc::dtmc::Labeling* labeling = |
|
|
|
|
|
|
|
|
mrmc::models::AtomicPropositionsLabeling* labeling = |
|
|
mrmc::parser::read_lab_file(node_count, lab_file); |
|
|
mrmc::parser::read_lab_file(node_count, lab_file); |
|
|
|
|
|
|
|
|
mrmc::models::Dtmc<double>* result = |
|
|
mrmc::models::Dtmc<double>* result = |
|
|
new mrmc::models::Dtmc<double>(transition_matrix, labeling); |
|
|
new mrmc::models::Dtmc<double>(transition_matrix, labeling); |
|
|
return result; */ |
|
|
|
|
|
|
|
|
return result; |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
} |
|
|
} |
|
|