misberner/automatalib — pull request #10 by mvolpato (2014-05-16 07:23:16+00:00)
Title: Implementation of input/output labelled transition systems

I added an hierarchy for the implementation of LTS classes.
I also implemented a class for input/output LTS (as described here: http://www.cs.ru.nl/~tretmans/papers/mbtlts.pdf).