Package | Description |
---|---|
com.domain.project.core | |
com.domain.project.core.graph |
Modifier and Type | Method and Description |
---|---|
Node |
Player.getNodeToBeMapped() |
Node |
Player.getSelectedNode() |
Modifier and Type | Method and Description |
---|---|
void |
Player.selectNode(Node node)
Sets the selected node to the given node
|
void |
Player.setNodeToBeMapped(Node node)
Sets the node to be mapping to the given node
|
Modifier and Type | Method and Description |
---|---|
Node |
Node.getMappedNode()
Returns the node which this instance is mapped to
|
Node |
Graph.getNode1(Edge edge)
return the Node instance of the node1 of the given edge
|
Node |
Graph.getNode2(Edge edge)
return the Node instance of the node2 of the given edge
|
Modifier and Type | Method and Description |
---|---|
java.util.List<Node> |
Node.getNeighbors() |
java.util.Map<java.lang.Integer,Node> |
Graph.getNodes() |
Modifier and Type | Method and Description |
---|---|
void |
Node.addNeighbor(Node n)
Adds the specific node to the list of neighbors
|
void |
Node.setMappedNode(Node node)
Sets the mapped_node to be the given node
|
void |
Node.setMapping(Node node)
Sets a mapping from this node to the given node
|