Updating state management in avatar model checker
Showing
- modeling/AVATAR/CoffeeMachine_Avatar.xml 523 additions, 523 deletionsmodeling/AVATAR/CoffeeMachine_Avatar.xml
- src/avatartranslator/modelchecker/AvatarModelChecker.java 16 additions, 1 deletionsrc/avatartranslator/modelchecker/AvatarModelChecker.java
- src/avatartranslator/modelchecker/SpecificationState.java 10 additions, 7 deletionssrc/avatartranslator/modelchecker/SpecificationState.java
- src/ui/graph/AUTGraph.java 4 additions, 4 deletionssrc/ui/graph/AUTGraph.java
- src/ui/window/JDialogAvatarModelChecker.java 1 addition, 0 deletionssrc/ui/window/JDialogAvatarModelChecker.java
Loading
Please register or sign in to comment