← Back to branch summary

~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/TCTL/visitors/QueryVisitor.java

  • Committer: Jiri Srba
  • Date: 2020-04-28 19:15:28 UTC
  • mfrom: (998.2.376 testbranch)
  • Revision ID: srba@cs.aau.dk-20200428191528-3xxjqa1r4jcob5ur
merged in lp:~yrke/tapaal/testbranch doing majour refactoring of the GUI

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/TCTL/visitors/QueryVisitor.java
1
1
package dk.aau.cs.TCTL.visitors;
2
2
 
3
 
import java.util.ArrayList;
4
3
import java.util.List;
5
4
 
6
5
import dk.aau.cs.TCTL.AritmeticOperator;
16
15
import dk.aau.cs.TCTL.TCTLFalseNode;
17
16
import dk.aau.cs.TCTL.TCTLNotNode;
18
17
import dk.aau.cs.TCTL.TCTLOrListNode;
19
 
import dk.aau.cs.TCTL.TCTLPathPlaceHolder;
20
 
import dk.aau.cs.TCTL.TCTLPlaceNode;
21
18
import dk.aau.cs.TCTL.TCTLPlusListNode;
22
 
import dk.aau.cs.TCTL.TCTLStatePlaceHolder;
23
19
import dk.aau.cs.TCTL.TCTLTermListNode;
24
20
import dk.aau.cs.TCTL.TCTLTrueNode;
25
21
import dk.aau.cs.model.tapn.TAPNQuery;