Aggiunto graph
This commit is contained in:
15
graph/DecorablePosition.java
Normal file
15
graph/DecorablePosition.java
Normal file
@@ -0,0 +1,15 @@
|
||||
package graph;
|
||||
|
||||
import map.Map;
|
||||
import position.Position;
|
||||
|
||||
/**
|
||||
* An interface for a position that can be marked with an arbitrary
|
||||
* number of decorations.
|
||||
*
|
||||
* @author Roberto Tamassia, Michael Goodrich
|
||||
*/
|
||||
|
||||
public interface DecorablePosition<E> extends Position<E>, Map<Object,Object> {}
|
||||
// no new methods needed -- this is a mixture of Position and Map.
|
||||
|
||||
Reference in New Issue
Block a user