← Back to branch summary

~cpn-gui/tapaal/transitionEditorPanel

« back to all changes in this revision

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

  • Committer: Mark Glavind
  • Date: 2018-11-22 13:52:57 UTC
  • Revision ID: mglavi14@student.aau.dk-20181122135257-eoz72bs0edm76x0u
WIP on Guards for transitions

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/model/tapn/Colored/Expressions/AndExpression.java
12
12
        this.left = left;
13
13
        this.right = right;
14
14
    }
 
15
 
 
16
    @Override
 
17
    public GuardExpression replace(Expression object1, Expression object2) {
 
18
        return null;
 
19
    }
 
20
 
 
21
    @Override
 
22
    public GuardExpression copy() {
 
23
        return null;
 
24
    }
 
25
 
 
26
    @Override
 
27
    public boolean containsPlaceHolder() {
 
28
        return false;
 
29
    }
 
30
 
 
31
    @Override
 
32
    public GuardExpression findFirstPlaceHolder() {
 
33
        return null;
 
34
    }
 
35
 
15
36
    public void getVariables(Set<Variable> variables) {
16
37
        left.getVariables(variables);
17
38
        right.getVariables(variables);