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

Classes

struct  stack_pair
 

Public Member Functions

 generic_stack (acc_dict &acc)
 
virtual unsigned int size ()
 
virtual void push_transient (unsigned int root)
 
virtual void push_non_transient (unsigned int root, const markset &m)
 
virtual stack_pair pop (int)
 
virtual stack_pair top (int)
 
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_
protected

The empty markset.

unsigned int spot::generic_stack::max_size_
protected

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