public abstract class PowerGraphVertexData extends java.lang.Object implements VertexData
| Constructor and Description |
|---|
PowerGraphVertexData() |
PowerGraphVertexData(PowerGraphVertexStates covered) |
| Modifier and Type | Method and Description |
|---|---|
PowerGraphVertexStates |
getCovered() |
boolean |
isChosen() |
boolean |
isCovered() |
void |
setAllCovered(PowerGraphVertexStates covered) |
void |
setCovered(PowerGraphVertexStates c) |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitcopypublic PowerGraphVertexData()
public PowerGraphVertexData(PowerGraphVertexStates covered)
public PowerGraphVertexStates getCovered()
public boolean isCovered()
public boolean isChosen()
public void setCovered(PowerGraphVertexStates c)
public void setAllCovered(PowerGraphVertexStates covered)