org.gjt.universe
Class VectorTechID

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

All Implemented Interfaces:

java.io.Serializable

public final class VectorTechID

extends java.lang.Object

implements java.io.Serializable

See Also:

Serialized Form

Field Summary

private java.util.Vector

hiddenVector

Constructor Summary

VectorTechID()

Method Summary

void	add(TechID TID)
boolean	contains(TechID TID)
TechID	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

VectorTechID

public VectorTechID()

Method Detail

add

public void add(TechID TID)

get

public TechID get(int idx)

size

public int size()

contains

public boolean contains(TechID TID)