spot
1.2.1a
|
#include <fasttgbaalgos/ec/root_stack.hh>
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 markset & | top_acceptance () |
virtual unsigned int | max_size () |
This class is used to store all roots used by this algorithm It's a wrapper for many implementations and compressions
|
inlinevirtual |
< Unused for this implem
Reimplemented in spot::compressed_stack_of_roots.