spot  1.2.1a
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Classes | Public Member Functions | List of all members
spot::compressed_stack_of_roots Class Reference
Inheritance diagram for spot::compressed_stack_of_roots:
Inheritance graph
Collaboration diagram for spot::compressed_stack_of_roots:
Collaboration graph

Public Member Functions

 compressed_stack_of_roots (acc_dict &acc)
 
virtual bool is_empty ()
 
virtual unsigned int size ()
 
virtual void push_trivial (unsigned int root)
 
virtual void push_non_trivial (unsigned int root, markset m, unsigned int last=0)
 < Unused for this implem More...
 
virtual unsigned int root_of_the_top ()
 
virtual void pop ()
 
virtual const marksettop_acceptance ()
 
virtual unsigned int max_size ()
 

Member Function Documentation

virtual void spot::compressed_stack_of_roots::push_non_trivial ( unsigned int  root,
markset  m,
unsigned int  = 0 
)
inlinevirtual

< Unused for this implem

Reimplemented from spot::stack_of_roots.

virtual unsigned int spot::compressed_stack_of_roots::root_of_the_top ( )
inlinevirtual

This method returns the root stored at the top of the root stack.

Reimplemented from spot::stack_of_roots.


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 Tue Jan 21 2014 16:52:02 for spot by doxygen 1.8.5