Discussions

• 1 You must be logged in to vote

  🙏

  DoubleInequalityTheory uses BigDecimal type

  mtf90 asked Aug 28, 2024 in Learnlib Q & A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  Mixed-typed parameters for input words

  mtf90 asked Jul 15, 2024 in Learnlib Q & A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  Type constraints on InequalityTheoryWithEq class

  mtf90 asked Jul 15, 2024 in Learnlib Q & A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  💬

  Type-safe assignments and valuations

  mtf90 started Mar 15, 2024 in AutomataLib Discussions

  

  

  3
• 1 You must be logged in to vote

  🙏

  Are TransitionGuards needed?

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

  

  

  

  

  3
• 2 You must be logged in to vote

  🙏

  The role of DataValue#id

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

  

  

  3
• 1 You must be logged in to vote

  💬

  A distinct type for output register automata

  mtf90 started Mar 10, 2024 in AutomataLib Discussions

  

  

  1
• 2 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
• 1 You must be logged in to vote

  🙏

  Are DataTypes needed?

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

  

  

  2
• 1 You must be logged in to vote

  💬

  Automaton-/Location-local registers

  mtf90 started Mar 10, 2024 in AutomataLib Discussions

  

  

  0
• 1 You must be logged in to vote

  💬

  Split register automata into structual and semantic components

  mtf90 started Mar 10, 2024 in AutomataLib Discussions

  

  

  0