Main Page   Packages   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members  

LocVector Class Reference

List of all members.

Public Methods

 LocVector ()
 LocVector (int capacity)
 LocVector (Location x)
void addElement (Location x)
Location bottom ()
boolean contains (Location x)
Location elementAt (int pos)
Location firstElement ()
void insertElementAt (Location x, int pos)
Location pop ()
void push (Location x)
boolean removeElement (Location x)
int size ()
Location top ()

Private Methods

void expand ()

Private Attributes

int size = 0
Location[] data

Detailed Description

A vector of Locations.

Definition at line 41 of file LocVector.java.


The documentation for this class was generated from the following file:
Generated at Thu Feb 7 07:19:24 2002 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001