main page modules namespaces classes files
Gecode home

search for 

static-stack.hh

Go to the documentation of this file.

/*
 *  Main authors:
 *     Christian Schulte <schulte@gecode.org>
 *
 *  Copyright:
 *     Christian Schulte, 2002
 *
 *  Last modified:
 *     $Date: 2006-04-11 15:58:37 +0200 (Tue, 11 Apr 2006) $ by $Author: tack $
 *     $Revision: 3188 $
 *
 *  This file is part of Gecode, the generic constraint
 *  development environment:
 *     http://www.gecode.org
 *
 *  See the file "LICENSE" for information on usage and
 *  redistribution of this file, and for a
 *     DISCLAIMER OF ALL WARRANTIES.
 *
 */

#ifndef __GECODE_SUPPORT_STATIC_STACK_HH__
#define __GECODE_SUPPORT_STATIC_STACK_HH__

#include "gecode/kernel.hh"

namespace Gecode { namespace Support {

  template <class T>
  class StaticStack {
  private:
    T* stack;
    unsigned int tos;
  public:
    StaticStack(const int n);
    ~StaticStack(void);

    void reset(void);
    bool empty(void) const;

    T pop(void);
    T& top(void);
    T& last(void);
    void push(T x);

  };

  template <class T>
  forceinline
  StaticStack<T>::StaticStack(const int n)
    : tos(0) {
    stack = reinterpret_cast<T*>(Memory::malloc((n+1)*sizeof(T)));
  }

  template <class T>
  forceinline
  StaticStack<T>::~StaticStack(void) {
    Memory::free(stack);
  }

  template <class T>
  forceinline bool
  StaticStack<T>::empty(void) const {
    return tos==0;
  }

  template <class T>
  forceinline void
  StaticStack<T>::reset(void) {
    tos = 0;
  }

  template <class T>
  forceinline T
  StaticStack<T>::pop(void) {
    return stack[--tos];
  }

  template <class T>
  forceinline T&
  StaticStack<T>::top(void) {
    return stack[tos-1];
  }

  template <class T>
  forceinline T&
  StaticStack<T>::last(void) {
    return stack[tos];
  }

  template <class T>
  forceinline void
  StaticStack<T>::push(T x) {
    stack[tos++] = x;
  }

}}

#endif

// STATISTICS: support-any