#include <DFDecoderWithEEManagement.hpp>
Public Types | |
typedef DF::params_t | params_t |
Public Member Functions | |
DFDecoderWithEEManagement (const params_t *par) | |
size_t | nrOfEEItems () const |
bool | EEListEmpty () const |
void | pushItem (item_t item) |
Push an item to the item stack. | |
void | popItem () |
Pop an item from the item stack. | |
void | pushEquisupportItem (item_t item) |
Pushes a given item on the stack of equisupport items. | |
void | pushEquisupportItemSet (const std::vector< item_t > &itemset) |
Pushes a given itemset on the stack of equisupport items. | |
void | write (counter_t support) |
Writes actual itemset and all its equisupport extensions as represented by the actual stack of equisupport items. | |
void | pushItemWithPrevSupport (item_t item) |
Pushes an item on the item stack and writes actual itemset and all its equisupport extensions as represented by the actual stack of equisupport items. | |
void | pushItemWithWrite (item_t item, counter_t support) |
Pushes an item on the item stack and writes actual itemset and all its equisupport extensions as represented by the actual stack of equisupport items. | |
Private Member Functions | |
void | write1 () |
Writes the EE extensions with the prevSupport writer of the parent. | |
void | popEquisupportItem () |
Pops last item from the stack of equisupport items. | |
void | popEquisupportItems (int numEEItems) |
Pops given number of last items from the stack of equisupport items. | |
Private Attributes | |
std::vector< item_t > | ee_buffer |
The buffer for the equisupport extensions. | |
std::vector< size_t > | ee_buffer_segment_length |
size of ee-buffer segment for each item, i.e. | |
Classes | |
class | EquisupportItemOutputIterator |
An interface for writing equisupport items:. More... |
write
outputs the actual pattern as well as all its equisupport extensions as represented by the actual ee stack (so be careful to push ee items *before* issueing the write
method). It is possible to push EE items to the empty set (i.e. w.o. an initial pushItem). These item *cannot* be poped again later on.
Definition at line 39 of file DFDecoderWithEEManagement.hpp.
|
Definition at line 43 of file DFDecoderWithEEManagement.hpp. |
|
Definition at line 45 of file DFDecoderWithEEManagement.hpp. References DFDecoderWithEEManagement< DF >::ee_buffer_segment_length. |
|
Definition at line 55 of file DFDecoderWithEEManagement.hpp. References DFDecoderWithEEManagement< DF >::ee_buffer. |
|
Definition at line 51 of file DFDecoderWithEEManagement.hpp. References DFDecoderWithEEManagement< DF >::ee_buffer. |
|
Pops last item from the stack of equisupport items.
Definition at line 200 of file DFDecoderWithEEManagement.hpp. References DFDecoderWithEEManagement< DF >::ee_buffer, and DFDecoderWithEEManagement< DF >::ee_buffer_segment_length. |
|
Pops given number of last items from the stack of equisupport items.
Definition at line 211 of file DFDecoderWithEEManagement.hpp. References DFDecoderWithEEManagement< DF >::ee_buffer, and DFDecoderWithEEManagement< DF >::ee_buffer_segment_length. Referenced by DFDecoderWithEEManagement< DF >::popItem(). |
|
Pop an item from the item stack.
Definition at line 77 of file DFDecoderWithEEManagement.hpp. References DFDecoderWithEEManagement< DF >::ee_buffer_segment_length, and DFDecoderWithEEManagement< DF >::popEquisupportItems(). |
|
Pushes a given item on the stack of equisupport items.
Definition at line 177 of file DFDecoderWithEEManagement.hpp. References DFDecoderWithEEManagement< DF >::ee_buffer, and DFDecoderWithEEManagement< DF >::ee_buffer_segment_length. Referenced by DFDecoderWithEEManagement< DF >::EquisupportItemOutputIterator::operator=(). |
|
Pushes a given itemset on the stack of equisupport items.
Definition at line 187 of file DFDecoderWithEEManagement.hpp. References DFDecoderWithEEManagement< DF >::ee_buffer, and DFDecoderWithEEManagement< DF >::ee_buffer_segment_length. |
|
Push an item to the item stack. note that functionality is duplicated in function pushItemWithPrevSupport. Definition at line 65 of file DFDecoderWithEEManagement.hpp. References DFDecoderWithEEManagement< DF >::ee_buffer_segment_length. Referenced by DFDecoderWithEEManagement< DF >::pushItemWithWrite(). |
|
Pushes an item on the item stack and writes actual itemset and all its equisupport extensions as represented by the actual stack of equisupport items. Support will be the same as the previous write() or pushItemWithPrevSupport call set it to. Definition at line 117 of file DFDecoderWithEEManagement.hpp. References DFDecoderWithEEManagement< DF >::ee_buffer_segment_length, and DFDecoderWithEEManagement< DF >::write1(). |
|
Pushes an item on the item stack and writes actual itemset and all its equisupport extensions as represented by the actual stack of equisupport items.
Definition at line 128 of file DFDecoderWithEEManagement.hpp. References DFDecoderWithEEManagement< DF >::pushItem(), and DFDecoderWithEEManagement< DF >::write(). |
|
Writes actual itemset and all its equisupport extensions as represented by the actual stack of equisupport items.
Definition at line 104 of file DFDecoderWithEEManagement.hpp. References DFDecoderWithEEManagement< DF >::write1(). Referenced by DFDecoderWithEEManagement< DF >::pushItemWithWrite(). |
|
Writes the EE extensions with the prevSupport writer of the parent. The length of the ee_buffer Definition at line 229 of file DFDecoderWithEEManagement.hpp. References DFDecoderWithEEManagement< DF >::ee_buffer. Referenced by DFDecoderWithEEManagement< DF >::pushItemWithPrevSupport(), and DFDecoderWithEEManagement< DF >::write(). |
|
The buffer for the equisupport extensions.
Definition at line 150 of file DFDecoderWithEEManagement.hpp. Referenced by DFDecoderWithEEManagement< DF >::EEListEmpty(), DFDecoderWithEEManagement< DF >::nrOfEEItems(), DFDecoderWithEEManagement< DF >::popEquisupportItem(), DFDecoderWithEEManagement< DF >::popEquisupportItems(), DFDecoderWithEEManagement< DF >::pushEquisupportItem(), DFDecoderWithEEManagement< DF >::pushEquisupportItemSet(), and DFDecoderWithEEManagement< DF >::write1(). |
|
size of ee-buffer segment for each item, i.e. , number of ee-items added specific before this item. Definition at line 155 of file DFDecoderWithEEManagement.hpp. Referenced by DFDecoderWithEEManagement< DF >::DFDecoderWithEEManagement(), DFDecoderWithEEManagement< DF >::popEquisupportItem(), DFDecoderWithEEManagement< DF >::popEquisupportItems(), DFDecoderWithEEManagement< DF >::popItem(), DFDecoderWithEEManagement< DF >::pushEquisupportItem(), DFDecoderWithEEManagement< DF >::pushEquisupportItemSet(), DFDecoderWithEEManagement< DF >::pushItem(), and DFDecoderWithEEManagement< DF >::pushItemWithPrevSupport(). |