spot  1.1.2
Classes | Namespaces
stack.hh File Reference
#include <deque>
Include dependency graph for stack.hh:

Go to the source code of this file.

Classes

class  kripkeyy::stack< T, S >
 
class  kripkeyy::slice< T, S >
 Present a slice of the top of a stack. More...
 

Namespaces

 kripkeyy
 

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Sun Jun 9 2013 18:11:06 for spot by doxygen 1.8.4