Teuchos_stack.hpp

// @HEADER
// *****************************************************************************
//                    Teuchos: Common Tools Package
//
// Copyright 2004 NTESS and the Teuchos contributors.
// SPDX-License-Identifier: BSD-3-Clause
// *****************************************************************************
// @HEADER

#ifndef TEUCHOS_STACK_HPP
#define TEUCHOS_STACK_HPP

#include <stack>

namespace Teuchos {

template <typename T>
int size(std::stack<T> const& s) { return static_cast<int>(s.size()); }

}

#endif