Browse Source

remove debug output

tempestpy_adaptions
dehnert 7 years ago
parent
commit
93bf17f54b
  1. 5
      src/storm/transformer/SymbolicToSparseTransformer.cpp

5
src/storm/transformer/SymbolicToSparseTransformer.cpp

@ -68,11 +68,6 @@ namespace storm {
storm::models::sparse::StateLabeling labelling(transitionMatrix.getRowGroupCount()); storm::models::sparse::StateLabeling labelling(transitionMatrix.getRowGroupCount());
labelling.addLabel("init", symbolicMdp.getInitialStates().toVector(odd)); labelling.addLabel("init", symbolicMdp.getInitialStates().toVector(odd));
symbolicMdp.getDeadlockStates().template toAdd<ValueType>().exportToDot("deadlock.dot");
std::cout << "height " << odd.getHeight() << std::endl;
for (auto const& var : symbolicMdp.getDeadlockStates().getContainedMetaVariables()) {
std::cout << "var " << var.getName() << " = " << symbolicMdp.getManager().getMetaVariable(var).getNumberOfDdVariables() << " dd vars" << std::endl;
}
labelling.addLabel("deadlock", symbolicMdp.getDeadlockStates().toVector(odd)); labelling.addLabel("deadlock", symbolicMdp.getDeadlockStates().toVector(odd));
for(auto const& label : symbolicMdp.getLabels()) { for(auto const& label : symbolicMdp.getLabels()) {
labelling.addLabel(label, symbolicMdp.getStates(label).toVector(odd)); labelling.addLabel(label, symbolicMdp.getStates(label).toVector(odd));

Loading…
Cancel
Save