Skip to content
Snippets Groups Projects
Commit 48621cfc authored by Ludovic Apvrille's avatar Ludovic Apvrille
Browse files

Solving bug on compatc dependency graphs, ticket 418

parent 70ea8891
No related branches found
No related tags found
No related merge requests found
...@@ -289,8 +289,9 @@ public class AvatarCompactDependencyGraph { ...@@ -289,8 +289,9 @@ public class AvatarCompactDependencyGraph {
for (int i = 0; i < state.outTransitions.size(); i++) { for (int i = 0; i < state.outTransitions.size(); i++) {
AUTTransition tr = new AUTTransition(atPrev.origin, AUTTransition tr = new AUTTransition(atPrev.origin,
state.outTransitions.get(i).transition, state.outTransitions.get(i).destination); state.outTransitions.get(i).transition, state.outTransitions.get(i).destination);
newTR.add(tr); if (tr.destination != tr.origin)
state.outTransitions.get(i); newTR.add(tr);
//state.outTransitions.get(i);
} }
} }
...@@ -308,6 +309,7 @@ public class AvatarCompactDependencyGraph { ...@@ -308,6 +309,7 @@ public class AvatarCompactDependencyGraph {
} }
for (AUTTransition tr : newTR) { for (AUTTransition tr : newTR) {
TraceManager.addDev("NewTR : from " + tr.origin + " to " + tr.destination);
transitions.add(tr); transitions.add(tr);
sTmp = states.get(tr.destination); sTmp = states.get(tr.destination);
sTmp.addInTransition(tr); sTmp.addInTransition(tr);
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment