// Filename: stack
// Created by:  drose (12May00)
// 
////////////////////////////////////////////////////////////////////

// This file, and all the other files in this directory, aren't
// intended to be compiled--they're just parsed by CPPParser (and
// interrogate) in lieu of the actual system headers, to generate the
// interrogate database.

#ifndef STACK_H
#define STACK_H

#include <stdtypedefs.h>

template<class element>
class stack {
public:
  typedef element value_type;

  typedef element *pointer;
  typedef const element *const_pointer;
  typedef element &reference;
  typedef const element &const_reference;

  class iterator;
  class const_iterator;
  class reverse_iterator;
  class const_reverse_iterator;
  typedef size_t size_type;
  class difference_type;
};

#endif