« Previous | Next » 

Revision 042ce540


Added by Axel Belinfante almost 11 years ago

added optional angelic completion to primer (add missing inputs to stable states)

do not add 'all' inputs, but only those inputs that are enabled in other
model states that are 'part of' the same suspension automaton state.

Jan 16 23:41 src/utwente/fmt/jtorx/torx/primer/Primer.java
Jan 17 00:18 src/utwente/fmt/jtorx/torx/primer/PrimerState.java


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences