.. This file is part of the OpenDSA eTextbook project. See
.. http://opendsa.org for more details.
.. Copyright (c) 2012-2020 by the OpenDSA Project Contributors, and
.. distributed under an MIT open source license.

.. avmetadata::
   :title: A List ADT
   :author: Cliff Shaffer
   :institution: Virginia Tech
   :requires: ADT
   :satisfies: list ADT
   :topic: Lists
   :keyword: List ADT
   :naturallanguage: en
   :programminglanguage: Java
   :description: Presents an ADT for the list class used in this chapter.


Code Workout Dev Test
=====================

A List ADT
----------

.. extrtoolembed:: 'List ADT Programming Exercise'
   :workout_id: 62


Code Workout Dev Test
---------------------

.. extrtoolembed:: 'General reduction proof template'
   :long_name: Dumbo
   :learning_tool: code-workout-dev
   :workout_id: 90
   :launch_url: https://codeworkoutdev.cs.vt.edu/gym/exercises/507/practice?workout_id=90