← Back to branch summary

~tapaal-contributor/tapaal/ltl-icon-selection-1997234

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/verification/QueryResult.java

  • Committer: lsaid
  • Date: 2023-01-09 11:11:07 UTC
  • Revision ID: lena.said@hotmail.com-20230109111107-cv0tcnpfcgq8093m
Icon selection now considers LTL nodes

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/verification/QueryResult.java
61
61
                || (queryType().equals(QueryType.EG)) // && !isQuerySatisfied()) 
62
62
                || (queryType().equals(QueryType.AF)) // && isQuerySatisfied())
63
63
                || (queryType().equals(QueryType.AG) && isQuerySatisfied())
 
64
        || (queryType().equals(QueryType.A))
 
65
        || (queryType().equals(QueryType.E))
64
66
                || (hasDeadlock() && 
65
67
                                (!isQuerySatisfied() && queryType().equals(QueryType.EF)) || 
66
68
                                (isQuerySatisfied() && queryType().equals(QueryType.AG))