← Back to branch summary

~cpn-gui/tapaal/exportCPN

« back to all changes in this revision

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

  • Committer: Niels Christensen
  • Date: 2018-12-05 12:57:54 UTC
  • Revision ID: nchri13@student.aau.dk-20181205125754-l9gn71a6dq5413uc
WIP have made getters for all guard expressions which is needed elsewhere

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/model/tapn/Colored/Expressions/NotExpression.java
12
12
        this.expr = expr;
13
13
    }
14
14
 
 
15
    public GuardExpression getExpression() {
 
16
        return this.expr;
 
17
    }
 
18
 
15
19
    @Override
16
20
    public GuardExpression replace(Expression object1, Expression object2) {
17
21
        return null;