diff options
Diffstat (limited to 'gfsm/gfsm/tests/data/basic2.labs.inf')
-rw-r--r-- | gfsm/gfsm/tests/data/basic2.labs.inf | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/gfsm/gfsm/tests/data/basic2.labs.inf b/gfsm/gfsm/tests/data/basic2.labs.inf new file mode 100644 index 0000000..b61e0f1 --- /dev/null +++ b/gfsm/gfsm/tests/data/basic2.labs.inf @@ -0,0 +1,14 @@ +Filename : - +Semiring : tropical +Transducer? : y +Weighted? : y +Deterministic? : n +Sort Mode : none, none, none, none, none, none +Initial state : 0 +# of states : 4 +# of final states : 1 +# of arcs : 3 +# of i/o epsilon arcs : 0 +# of input epsilon arcs : 1 +# of output epsilon arcs: 1 +cyclic? : n |