← Back to branch summary

~cpn-gui/tapaal/transitionEditorPanel

~cpn-gui/tapaal/transitionEditorPanel

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/model/tapn/Colored/ExpressionSupport/

Committer: Mark Glavind
Date: 2018-11-22 13:52:57 UTC
Revision ID: mglavi14@student.aau.dk-20181122135257-eoz72bs0edm76x0u

WIP on Guards for transitions

files added:
src/dk/aau/cs/model/tapn/Colored/ExpressionSupport

src/dk/aau/cs/model/tapn/Colored/ExpressionSupport/ExprStringPosition.java

src/dk/aau/cs/model/tapn/Colored/Expressions/PlaceHolderGuardExpression.java

files modified:
src/dk/aau/cs/TCTL/TCTLStatePlaceHolder.java

src/dk/aau/cs/model/tapn/Colored/Expressions/AddExpression.java

src/dk/aau/cs/model/tapn/Colored/Expressions/AllExpression.java

src/dk/aau/cs/model/tapn/Colored/Expressions/AndExpression.java

src/dk/aau/cs/model/tapn/Colored/Expressions/DotConstantExpression.java

src/dk/aau/cs/model/tapn/Colored/Expressions/EqualityExpression.java

src/dk/aau/cs/model/tapn/Colored/Expressions/Expression.java

src/dk/aau/cs/model/tapn/Colored/Expressions/GreaterThanEqExpression.java

src/dk/aau/cs/model/tapn/Colored/Expressions/GreaterThanExpression.java

src/dk/aau/cs/model/tapn/Colored/Expressions/GuardExpression.java

src/dk/aau/cs/model/tapn/Colored/Expressions/InequalityExpression.java

src/dk/aau/cs/model/tapn/Colored/Expressions/LessThanEqExpression.java

src/dk/aau/cs/model/tapn/Colored/Expressions/LessThanExpression.java

src/dk/aau/cs/model/tapn/Colored/Expressions/NotExpression.java

src/dk/aau/cs/model/tapn/Colored/Expressions/NumberConstantExpression.java

src/dk/aau/cs/model/tapn/Colored/Expressions/NumberOfExpression.java

src/dk/aau/cs/model/tapn/Colored/Expressions/OrExpression.java

src/dk/aau/cs/model/tapn/Colored/Expressions/PredecessorExpression.java

src/dk/aau/cs/model/tapn/Colored/Expressions/ScalarProductExpression.java

src/dk/aau/cs/model/tapn/Colored/Expressions/SubtractExpression.java

src/dk/aau/cs/model/tapn/Colored/Expressions/SuccessorExpression.java

src/dk/aau/cs/model/tapn/Colored/Expressions/TupleExpression.java

src/dk/aau/cs/model/tapn/Colored/Expressions/UserOperatorExpression.java

src/dk/aau/cs/model/tapn/Colored/Expressions/UserSortExpression.java

src/dk/aau/cs/model/tapn/Colored/Expressions/VariableExpression.java

src/pipe/gui/widgets/CTLQueryDialog.java

src/pipe/gui/widgets/ColoredTransitionEditorPanel.java

Show diffs side-by-side

added added

removed removed

src/dk/aau/cs/model/tapn/Colored/ExpressionSupport/

Older »