search

LearnLib / automatalib

A free, open-source Java library for modeling automata, graphs, and transition systems
http://automatalib.net
Apache License 2.0
92 stars 34 forks source link

Hide transitions in DOT output based on outputs #8

Closed windmueller closed 10 years ago

windmueller commented 10 years ago

It should be possible to hide certain transitions from a DOT file, e.g. error branches.

misberner commented 10 years ago

It is possible to obtain a filtered version of a Mealy machine through methods provided by the MealyFilter class (package net.automatalib.util.automata.transout, artifact automata-util). The usage is roughly as follows:

MealyMachine<?,I,?,O> originalMealy = ...;
Alphabet<I> inputAlphabet = ...;
MealyMachine<?,I,?,O> prunedMealy = MealyFilter.pruneTransitionsWithOutput(originalMealy, inputAlphabet, output1, output2, ...);

Please let me know if this fits your needs and works as expected.

windmueller commented 10 years ago

Thank you, this works as expected.