spot  1.2.1a
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Public Member Functions | List of all members
spot::stack_of_roots Class Reference

#include <fasttgbaalgos/ec/root_stack.hh>

Inheritance diagram for spot::stack_of_roots:
Inheritance graph
Collaboration diagram for spot::stack_of_roots:
Collaboration graph

Public Member Functions

 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)
 < Unused for this implem More...
 
virtual unsigned int root_of_the_top ()
 
virtual void pop ()
 
virtual const marksettop_acceptance ()
 
virtual unsigned int max_size ()
 

Detailed Description

This class is used to store all roots used by this algorithm It's a wrapper for many implementations and compressions

Member Function Documentation

virtual void spot::stack_of_roots::push_non_trivial ( unsigned int  root,
markset  m,
unsigned int   
)
inlinevirtual

< Unused for this implem

Reimplemented in spot::compressed_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