Example Data: tmp_hioconstraint_repaired.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"FreeInput(HioConstraint)"
%
% Statistics for FreeInput(HioConstraint)
%
% States: 4
% Init/Marked: 1/4
% Events: 3
% Transitions: 6
% StateSymbols: 2
% Attrib. E/S/T: 3/4/0
%
<Alphabet>
"y1" +Y+ "y2" +Y+ "u" +U+
</Alphabet>
<States>
"Y-Error" +ErrQU+ "ErrorQY" +ErrQY+ 3 +QY+
4 +QU+
</States>
<TransRel>
3 "y1" 4
3 "y2" "Y-Error"
4 "u" 3
"Y-Error" "u" "ErrorQY"
"ErrorQY" "y1" "Y-Error"
"ErrorQY" "y2" "Y-Error"
</TransRel>
<InitStates>
3
</InitStates>
<MarkedStates>
"Y-Error" "ErrorQY" 3 4
</MarkedStates>
</Generator>