spot
1.2.1a
|
this class represents a compaction of the lowlink stack More...
#include <fasttgbaalgos/ec/lowlink_stack.hh>
Classes | |
struct | ll_elt |
Public Member Functions | |
compressed_stack_of_lowlink (acc_dict &acc) | |
virtual | ~compressed_stack_of_lowlink () |
Clean the stack before desroying it. More... | |
virtual void | push (int lowlink) |
Insert a new lowlink into the stack. More... | |
virtual int | top () |
Return the lowlink at the top of the stack. More... | |
virtual const markset & | top_acceptance () |
Modify the acceptance set at for the elemet at the top of the stack. More... | |
virtual int | pop () |
pop the element at the top of the stack More... | |
virtual void | set_top (int ll, markset m) |
virtual void | set_top (int ll) |
Usefull for SCC-computation. More... | |
virtual unsigned int | max_size () |
Return the peak of this stack. More... | |
virtual unsigned int | size () |
Return the current size of the stack. More... | |
Protected Attributes | |
markset * | empty_ |
The empty markset. More... | |
unsigned int | max_size_ |
this class represents a compaction of the lowlink stack
|
inlinevirtual |
Clean the stack before desroying it.
References pop().
|
inlinevirtual |
Return the peak of this stack.
Reimplemented from spot::stack_of_lowlink.
|
inlinevirtual |
pop the element at the top of the stack
Reimplemented from spot::stack_of_lowlink.
Referenced by ~compressed_stack_of_lowlink().
|
inlinevirtual |
Insert a new lowlink into the stack.
Reimplemented from spot::stack_of_lowlink.
|
inlinevirtual |
Modify lowlink and marset for the element of the top of the stack
Reimplemented from spot::stack_of_lowlink.
|
inlinevirtual |
Usefull for SCC-computation.
Reimplemented from spot::stack_of_lowlink.
|
inlinevirtual |
Return the current size of the stack.
Reimplemented from spot::stack_of_lowlink.
|
inlinevirtual |
Return the lowlink at the top of the stack.
Reimplemented from spot::stack_of_lowlink.
|
inlinevirtual |
Modify the acceptance set at for the elemet at the top of the stack.
Reimplemented from spot::stack_of_lowlink.
|
protectedinherited |
The empty markset.
Referenced by spot::stack_of_lowlink::pop(), spot::stack_of_lowlink::push(), spot::stack_of_lowlink::set_top(), and spot::stack_of_lowlink::~stack_of_lowlink().