Uses of Class
kodkod.util.collections.Stack

Packages that use Stack
kodkod.util.collections Contains specialized collections, such as a set that provides methods for retrieving elements with a particular hashcode
 

Uses of Stack in kodkod.util.collections
 

Subclasses of Stack in kodkod.util.collections
 class ArrayStack<T>
          A Stack implementation based on an array.
 class LinkedStack<T>
          A Stack implementation based on a singly linked list.