← 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/SubtractExpression.java

  • Committer: Niels Christensen
  • Date: 2018-12-19 14:23:58 UTC
  • mfrom: (995.1.16 exportCPN)
  • Revision ID: nchri13@student.aau.dk-20181219142358-z9u4gtqvamla0vzw
Fixed merge errors

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/model/tapn/Colored/Expressions/SubtractExpression.java
3
3
import dk.aau.cs.model.tapn.Colored.ColorMultiset;
4
4
import dk.aau.cs.model.tapn.Colored.ExpressionSupport.ExprStringPosition;
5
5
import dk.aau.cs.model.tapn.Colored.Variable;
 
6
import pipe.gui.graphicElements.Arc;
6
7
 
7
8
import java.util.Set;
8
9
 
16
17
        this.right = right;
17
18
    }
18
19
 
19
 
    public ArcExpression getLeft() {return left;}
20
 
    public ArcExpression getRight() {return right;}
 
20
 
 
21
    public ArcExpression getLeftExpression() {return this.left;}
 
22
 
 
23
    public ArcExpression getRightExpression() {return this.right;}
21
24
 
22
25
    //Missing implementation for evaluation - might not be needed
23
26
    public ColorMultiset eval(ExpressionContext context) {