class Polyhedron_3.ColorDecorator extends Decorator<Vertex<X>,java.lang.Integer>
table
Polyhedron_3.ColorDecorator()
clear, isDecorated, removeDecoration, setDecoration
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait