← Back to branch summary

~cpn-gui/tapaal/examVersion

« back to all changes in this revision

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

  • Committer: Mark Glavind
  • Date: 2018-11-22 13:54:06 UTC
  • mfrom: (991.1.6 transitionEditorPanel)
  • Revision ID: mglavi14@student.aau.dk-20181122135406-bfsc75co5fhcmles
merged from transition panel because of missing changes on master branch

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/model/tapn/Colored/Expressions/NumberOfExpression.java
60
60
        }
61
61
    }
62
62
 
 
63
    @Override
 
64
    public Expression replace(Expression object1, Expression object2) {
 
65
        return null;
 
66
    }
 
67
 
 
68
    @Override
 
69
    public Expression copy() {
 
70
        return null;
 
71
    }
 
72
 
 
73
    @Override
 
74
    public boolean containsPlaceHolder() {
 
75
        return false;
 
76
    }
 
77
 
 
78
    @Override
 
79
    public Expression findFirstPlaceHolder() {
 
80
        return null;
 
81
    }
 
82
 
63
83
    public void getVariables(Set<Variable> variables) {
64
84
        if (all == null) {
65
85
            return;