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, wait
copy
public PowerGraphVertexData()
public PowerGraphVertexData(PowerGraphVertexStates covered)
public PowerGraphVertexStates getCovered()
public boolean isCovered()
public boolean isChosen()
public void setCovered(PowerGraphVertexStates c)
public void setAllCovered(PowerGraphVertexStates covered)