spot
1.2.1a
|
#include <fasttgbaalgos/ec/lowlink_stack.hh>
Public Member Functions | |
stack_of_lowlink (acc_dict &acc) | |
virtual | ~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 is used to store all lowlink used by Tarjan algorithm It's a wrapper for many implementations and compressions techniques
|
inlinevirtual |
|
inlinevirtual |
Return the peak of this stack.
Reimplemented in spot::compressed_stack_of_lowlink.
|
inlinevirtual |
pop the element at the top of the stack
Reimplemented in spot::compressed_stack_of_lowlink.
Referenced by ~stack_of_lowlink().
|
inlinevirtual |
Insert a new lowlink into the stack.
Reimplemented in spot::compressed_stack_of_lowlink.
References empty_.
|
inlinevirtual |
Modify lowlink and marset for the element of the top of the stack
Reimplemented in spot::compressed_stack_of_lowlink.
References empty_.
|
inlinevirtual |
Usefull for SCC-computation.
Reimplemented in spot::compressed_stack_of_lowlink.
|
inlinevirtual |
Return the current size of the stack.
Reimplemented in spot::compressed_stack_of_lowlink.
|
inlinevirtual |
Return the lowlink at the top of the stack.
Reimplemented in spot::compressed_stack_of_lowlink.
Referenced by pop().
|
inlinevirtual |
Modify the acceptance set at for the elemet at the top of the stack.
Reimplemented in spot::compressed_stack_of_lowlink.
|
protected |
The empty markset.
Referenced by pop(), push(), set_top(), and ~stack_of_lowlink().