imc2ctmdp

BCG to MRMC translator

This is a legacy tool for the translation of bcg files to the MRMC input format.

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
doc		doc
imc2mrmc		imc2mrmc
Graph.cc		Graph.cc
Graph.h		Graph.h
GraphInput.cc		GraphInput.cc
GraphInput.h		GraphInput.h
GraphInputBCG.cc		GraphInputBCG.cc
GraphInputBCG.h		GraphInputBCG.h
GraphInputPrism.cc		GraphInputPrism.cc
GraphInputPrism.h		GraphInputPrism.h
GraphOutput.cc		GraphOutput.cc
GraphOutput.h		GraphOutput.h
GraphOutputBCG.cc		GraphOutputBCG.cc
GraphOutputBCG.h		GraphOutputBCG.h
GraphOutputCtmdp.cc		GraphOutputCtmdp.cc
GraphOutputCtmdp.h		GraphOutputCtmdp.h
GraphOutputETMCC.cc		GraphOutputETMCC.cc
GraphOutputETMCC.h		GraphOutputETMCC.h
GraphOutputLab.cc		GraphOutputLab.cc
GraphOutputLab.h		GraphOutputLab.h
GraphOutputMarked.cc		GraphOutputMarked.cc
GraphOutputMarked.h		GraphOutputMarked.h
Label.cc		Label.cc
Label.h		Label.h
Makefile		Makefile
README.md		README.md
State.cc		State.cc
State.h		State.h
Transition.cc		Transition.cc
Transition.h		Transition.h
imc2ctmdp.cc		imc2ctmdp.cc
imc2ctmdp.h		imc2ctmdp.h

Provide feedback