public void printTransitionRelation(TransitionRelation transitionRelation) {
for (Iterator i = implementations.values().iterator(); i.hasNext(); ) {
ImplementationsBundle bundle = (ImplementationsBundle) i.next();
StringConverter c = bundle.transitionRelationConverter;
if (bundle.outputEnabled && bundle.transitionEnabled && c != null) {
assert (bundle.outputStream != null && bundle.transitionStream != null);
c.print(bundle.transitionStream, transitionRelation, null);
}
}
}
