B C E G H L M P S T

M

main(String[]) - Static method in class ca.mcgill.lmp.finite.Bisim
bisim [optionalArguments] <inputFile>
Bisim takes the description of a LMP as input and outputs a LMP obtained by quotienting the input LMP by the equivalence relation of bisimulation
First argument: the path to a file describing a LMP
Optional arguments:
  --transitions Output the transition matrices of the new LMP
  --sets Output the set D1 used in an intermediate step
The LMP should be described using the following specification:
The description should be a list of transition matrices (one per label) separated by the "\n*\n" string.

B C E G H L M P S T