Viewing all changes in revision 1029.
- Committer: Mark Glavind
- Date: 2019-01-09 14:24:52 UTC
- Revision ID: mglavi14@student.aau.dk-20190109142452-nk6u1u2vsrhk09cg
added toggle enabled buttons to color expressions and arc expressions panel, added delete selection and reset expression to both, fixed the size in getChildren of addExpr, TupleExpr, changed replace method in pred and succ
- files modified:
- src/dk/aau/cs/model/tapn/Colored/Expressions/AddExpression.java
expand all
collapse all
added
removed
