« Previous | Next » 

Revision 042ce540

ID042ce5400a578517f44de3091a18f9d339fc0545

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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences