|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectvisidia.simulation.process.synchronization.SynchronizationObject
visidia.simulation.process.synchronization.SynchronizationObjectTermination
visidia.simulation.process.synchronization.SynchronizationObjectTerminationRules
public class SynchronizationObjectTerminationRules
Field Summary | |
---|---|
Star |
neighborhood
|
Fields inherited from class visidia.simulation.process.synchronization.SynchronizationObjectTermination |
---|
finishedNode, globalEnd, localEnd |
Fields inherited from class visidia.simulation.process.synchronization.SynchronizationObject |
---|
arity, center, connected, edgMark, run, synchroCenters, synDoors, synState |
Constructor Summary | |
---|---|
SynchronizationObjectTerminationRules()
|
Method Summary | |
---|---|
java.lang.Object |
clone()
|
void |
refresh()
|
void |
reset()
clears the structures. |
void |
setCenterState(java.lang.String label)
|
void |
setNeighborhood(Star n)
|
java.lang.String |
toString()
|
Methods inherited from class visidia.simulation.process.synchronization.SynchronizationObjectTermination |
---|
allFinished, hasFinished, init, setFinished, setGlobEnd |
Methods inherited from class visidia.simulation.process.synchronization.SynchronizationObject |
---|
addCenter, addSynchronizedDoor, getCenters, getDoor, getMark, isConnected, isElected, isInStar, isNotInStar, resetCenters, setConnected, setMark, setState |
Methods inherited from class java.lang.Object |
---|
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public Star neighborhood
Constructor Detail |
---|
public SynchronizationObjectTerminationRules()
Method Detail |
---|
public java.lang.String toString()
toString
in class SynchronizationObjectTermination
public void reset()
SynchronizationObject
reset
in class SynchronizationObject
public java.lang.Object clone()
clone
in class SynchronizationObjectTermination
public void setNeighborhood(Star n)
public void setCenterState(java.lang.String label)
public void refresh()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |