private class LivenessAcyclic.Data
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) Actor |
cycleActor |
(package private) boolean |
cycleComplete |
(package private) java.util.Iterator<Actor> |
examinedActors |
(package private) java.util.HashSet<Actor> |
finished |
(package private) java.util.HashSet<Actor> |
visited |
Constructor and Description |
---|
LivenessAcyclic.Data(Graph g) |
Modifier and Type | Method and Description |
---|---|
(package private) Actor |
nextNonvisitedActor() |
java.util.Iterator<Actor> examinedActors
java.util.HashSet<Actor> visited
java.util.HashSet<Actor> finished
boolean cycleComplete
Actor cycleActor
LivenessAcyclic.Data(Graph g)
Actor nextNonvisitedActor()