Module aph::formats

source · [−]
Expand description

Input and output file formats.

Modules

aut

The .aut file format.

tra

The .tra file format used by the Markov Reward Model Checker.

Structs

ParseError