spot  1.2.1a
Classes | Public Member Functions | Protected Attributes | List of all members
spot::compressed_generic_stack Class Reference
Inheritance diagram for spot::compressed_generic_stack:
Inheritance graph
Collaboration diagram for spot::compressed_generic_stack:
Collaboration graph

Classes

struct  stack_pair
 

Public Member Functions

 compressed_generic_stack (acc_dict &acc)
 
virtual unsigned int size ()
 
virtual void push_transient (unsigned int p)
 
virtual void push_non_transient (unsigned int p, const markset &m)
 
virtual generic_stack::stack_pair pop (int p)
 
virtual generic_stack::stack_pair top (int p)
 
virtual unsigned int max_size ()
 

Protected Attributes

marksetempty_
 The empty markset. More...
 
unsigned int max_size_
 The max size of the stack. More...
 

Member Data Documentation

markset* spot::generic_stack::empty_
protectedinherited

The empty markset.

unsigned int spot::generic_stack::max_size_
protectedinherited

The max size of the stack.


The documentation for this class was generated from the following file:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Jun 5 2015 11:31:19 for spot by doxygen 1.8.9.1