LearnLib ralib Automatalib Q A · Discussions · GitHub

Sort by: Latest activity

AutomataLib Q & A Discussions

Questions related to the AutomataLib reintegration

You must be logged in to vote

Are TransitionGuards needed?

mtf90 asked Mar 10, 2024 in AutomataLib Q & A · Closed · Answered

3
You must be logged in to vote

The role of DataValue#id

mtf90 asked Mar 12, 2024 in AutomataLib Q & A · Unanswered

3
You must be logged in to vote

Do transitions need a label or source?

mtf90 asked Mar 10, 2024 in AutomataLib Q & A · Unanswered

3
You must be logged in to vote

Are DataTypes needed?

mtf90 asked Mar 10, 2024 in AutomataLib Q & A · Closed · Answered

2