Alnos issueshttps://gitlab.science.ru.nl/mvolpato/alnos/-/issues2017-05-20T20:06:30+02:00https://gitlab.science.ru.nl/mvolpato/alnos/-/issues/2Fail in creation creation of Hypotheses when a row ending in quiescence is ad...2017-05-20T20:06:30+02:00Michele Volpatom.volpato@science.ru.nlFail in creation creation of Hypotheses when a row ending in quiescence is added to SWhen a row ending in quiescence is added to S, its quiescence extension is not added to the table because the information is redundant (there must be a delta loop in that state). When an hypothesis is generated the quiescence transition ...When a row ending in quiescence is added to S, its quiescence extension is not added to the table because the information is redundant (there must be a delta loop in that state). When an hypothesis is generated the quiescence transition (loop) is not added because the one letter extension row cannot be found in the table.Michele Volpatom.volpato@science.ru.nlMichele Volpatom.volpato@science.ru.nlhttps://gitlab.science.ru.nl/mvolpato/alnos/-/issues/3inputs in string forms are split to char when added to table2017-09-26T17:36:18+02:00Michele Volpatom.volpato@science.ru.nlinputs in string forms are split to char when added to tableSee `('b', 'e')`, should be `('be',)`
```
,()
(),"({'delta'}, {'delta'})"
"('a', 'x')","({'y'}, {'y'})"
"('a',)","({'x', 'delta'}, {'x', 'delta'})"
"('a', 'be')","({'x'}, {'x'})"
-
"('a', 'delta')","({'delta'}, {'delta'})"
"('delta',)",...See `('b', 'e')`, should be `('be',)`
```
,()
(),"({'delta'}, {'delta'})"
"('a', 'x')","({'y'}, {'y'})"
"('a',)","({'x', 'delta'}, {'x', 'delta'})"
"('a', 'be')","({'x'}, {'x'})"
-
"('a', 'delta')","({'delta'}, {'delta'})"
"('delta',)","({'delta'}, {'delta'})"
"('a', 'x', 'a')","({'delta'}, {'delta'})"
"('a', 'be', 'a')","({'delta'}, {'delta'})"
"('b', 'e')","(set(), set())"
"('a', 'be', 'x')","({'y'}, {'y'})"
"('a', 'a')","({'delta'}, {'delta'})"
"('a', 'x', 'y')","({'x'}, {'x'})"
"('a', 'x', 'be')","({'y'}, {'y'})"
"('a', 'be', 'be')","({'x'}, {'x'})"
```Michele Volpatom.volpato@science.ru.nlMichele Volpatom.volpato@science.ru.nlhttps://gitlab.science.ru.nl/mvolpato/alnos/-/issues/4Lost class for statistics on LearnLib2017-09-27T14:31:15+02:00Michele Volpatom.volpato@science.ru.nlLost class for statistics on LearnLibI created a class to get statistics over LearnLib learning. But it is not in Git repo.
Without it I cannot compare my code with LearnLib. Check in the pc in the office, or rewrite it.I created a class to get statistics over LearnLib learning. But it is not in Git repo.
Without it I cannot compare my code with LearnLib. Check in the pc in the office, or rewrite it.Michele Volpatom.volpato@science.ru.nlMichele Volpatom.volpato@science.ru.nlhttps://gitlab.science.ru.nl/mvolpato/alnos/-/issues/1Some entries in Table()._entries are tuples of tuples of actions. They should...2017-05-20T20:06:30+02:00Michele Volpatom.volpato@science.ru.nlSome entries in Table()._entries are tuples of tuples of actions. They should just be tuples of actions.See print(Table()._entries):
{(('delta',),): (set(), False), (('b', 'delta'),): (set(), False), (): ({'delta'}, True), ('a',): ({'x', 'delta'}, True), (('a', 'x'),): (set(), False), ('b',): ({'delta'}, True), (('a', 'delta'),): (set()...See print(Table()._entries):
{(('delta',),): (set(), False), (('b', 'delta'),): (set(), False), (): ({'delta'}, True), ('a',): ({'x', 'delta'}, True), (('a', 'x'),): (set(), False), ('b',): ({'delta'}, True), (('a', 'delta'),): (set(), False)}Michele Volpatom.volpato@science.ru.nlMichele Volpatom.volpato@science.ru.nl