Repository navigation

imc2ctmdp

Public

About

BCG to MRMC translator

0 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
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

Repository files navigation

imc2ctmdp

BCG to MRMC translator

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

About

BCG to MRMC translator

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages