org.gjt.universe
Class VectorGalaxyID

java.lang.Object
  |
  +--org.gjt.universe.VectorGalaxyID

All Implemented Interfaces:

java.io.Serializable

public final class VectorGalaxyID

extends java.lang.Object

implements java.io.Serializable

See Also:

Serialized Form

Field Summary

private java.util.Vector

hiddenVector

Constructor Summary

VectorGalaxyID()

Method Summary

void	add(GalaxyID GID)
GalaxyID	get(int idx)
int	size()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

hiddenVector

private java.util.Vector hiddenVector

Constructor Detail

VectorGalaxyID

public VectorGalaxyID()

Method Detail

add

public void add(GalaxyID GID)

get

public GalaxyID get(int idx)

size

public int size()