SheafSystem
0.0.0.0
|
The general depth-first iterator over the intersection of a subposet filter with a directional (up or down) set of a poset member anchor. Implemented as a finite state machine with a client selectable state transition function that can be chosen to provide various iteration orders.
The iterator returns control to the client so that the it can perform client-defined actions. There are three action types, the PREVISIT_ACTION, the POSTVISIT_ACTION, and the LINK_ACTION, each associated with specific positions in the iteration. The previsit position is immediately before iteration over the cover of the current member begins. The postvisit position is immediately after iteration over the cover ends. The link position is on the current link, immediately after the lesser end of the link has been visited and context has ascended to the current link. The link action thus immediately follows the postvisit action of the lesser member, but the context is different.
This iterator visits every link in the cover relation graph above/below the anchor of the iteration, maintaining a path to the current member. Conceptually, the path is a list of pointers to lower cover iterators. The current member of each iterator is a node in the path. Physically, the path is stored in two parts. _index is the head of the list. The tail of the list is stored in the variable _path. The current link in the graph is the link between the front of _path and _index, with _index being the lesser member of the link.
More...
#include <filtered_depth_first_itr.h>
FILTERED_DEPTH_FIRST_ITR FACET | |
filtered_depth_first_itr () | |
Default constructor; creates an unattached iterator, with and all-pass filter. More... | |
filtered_depth_first_itr (const filtered_depth_first_itr &xother) | |
Copy constructor. More... | |
filtered_depth_first_itr & | operator= (const filtered_depth_first_itr &xother) |
Assignment operator. More... | |
~filtered_depth_first_itr () | |
Destructor. More... | |
filtered_depth_first_itr (const abstract_poset_member &xanchor, bool xdown, bool xstrict, typename depth_first_itr< T >::order_type xorder=depth_first_itr< T >::TRIORDER) | |
Creates an iterator anchored at xanchor, with no filter. If xdown, iterate in the down direction, otherwise iterate up. If xstrict, iterate over strict up/down set only. More... | |
filtered_depth_first_itr (const abstract_poset_member &xanchor, const subposet &xfilter, bool xdown, bool xstrict, typename depth_first_itr< T >::order_type xorder=depth_first_itr< T >::TRIORDER) | |
Creates an iterator anchored at xanchor, filtered by xfilter_index. If xdown, iterate in the down direction, otherwise iterate up. If xstrict, iterate over strict up/down set only. More... | |
filtered_depth_first_itr (const abstract_poset_member &xanchor, pod_index_type xfilter_index, bool xdown, bool xstrict, typename depth_first_itr< T >::order_type xorder=depth_first_itr< T >::TRIORDER) | |
Creates an iterator anchored at xanchor, filtered by xfilter_index. If xdown, iterate in the down direction, otherwise iterate up. If xstrict, iterate over strict up/down set only. More... | |
filtered_depth_first_itr (const abstract_poset_member &xanchor, const scoped_index &xfilter_index, bool xdown, bool xstrict, typename depth_first_itr< T >::order_type xorder=depth_first_itr< T >::TRIORDER) | |
Creates an iterator anchored at xanchor, filtered by xfilter_index. If xdown, iterate in the down direction, otherwise iterate up. If xstrict, iterate over strict up/down set only. More... | |
filtered_depth_first_itr (const abstract_poset_member &xanchor, const std::string &xfilter_name, bool xdown, bool xstrict, typename depth_first_itr< T >::order_type xorder=depth_first_itr< T >::TRIORDER) | |
Creates an iterator anchored at xanchor, filtered by xfilter_name. If xdown, iterate in the down direction, otherwise iterate up. If xstrict, iterate over strict up/down set only. More... | |
ITERATOR FACET | |
virtual void | put_anchor (const abstract_poset_member *xanchor) |
Set anchor() to xanchor. More... | |
virtual void | put_anchor (pod_index_type xanchor_index) |
Set anchor() to member identified by xanchor_index. More... | |
void | put_anchor (const scoped_index &xanchor_index) |
Set anchor() to member identified by xanchor_index. More... | |
void | put_descending (bool xdescending) |
Set descending() to xdescending. More... | |
void | put_strict (bool xstrict) |
Set strict() to xstrict. More... | |
void | put_filter (const subposet &xfilter) |
Sets the subposet which is the filter. More... | |
void | put_filter (const std::string &xfilter_name) |
Sets the subposet which is the filter. More... | |
void | put_filter (pod_index_type xfilter_index) |
Sets the subposet which is the filter. More... | |
void | put_filter (const scoped_index &xfilter_index) |
Sets the subposet which is the filter. More... | |
ANY FACET | |
virtual bool | is_ancestor_of (const any *other) const |
True if other conforms to this. More... | |
virtual filtered_depth_first_itr * | clone () const |
Make a new instance of the same type as this. More... | |
bool | invariant () const |
The class invariant. More... | |
Additional Inherited Members | |
Public Types inherited from sheaf::depth_first_itr< T > | |
enum | order_type { PREORDER, POSTORDER, LINKORDER, BIORDER, TRIORDER, NOT_AN_ORDER } |
The types of order in which the iterator will visit the members of the poset. Determines which actions are exported to the client. More... | |
enum | action_type { PREVISIT_ACTION, LINK_ACTION, POSTVISIT_ACTION, NOT_AN_ACTION } |
The types of action a client should take when the iterator returns control to the client. More... | |
Public Member Functions inherited from sheaf::depth_first_itr< T > | |
template<> | |
void | clear_has_visited () |
template<> | |
void | reserve_has_visited (pod_index_type xub) |
template<> | |
bool | has_visited (pod_index_type xindex) const |
template<> | |
void | put_has_visited (pod_index_type xindex, bool xvalue) |
template<> | |
void | clear_has_visited () |
template<> | |
void | reserve_has_visited (sheaf::pod_index_type xub) |
template<> | |
bool | has_visited (pod_index_type xindex) const |
template<> | |
void | put_has_visited (pod_index_type xindex, bool xvalue) |
template<> | |
void | clear_has_visited () |
template<> | |
void | reserve_has_visited (pod_index_type xub) |
template<> | |
bool | has_visited (pod_index_type xindex) const |
template<> | |
void | put_has_visited (pod_index_type xindex, bool xvalue) |
template<> | |
SHEAF_DLL_SPEC void | clear_has_visited () |
template<> | |
SHEAF_DLL_SPEC void | reserve_has_visited (pod_index_type xub) |
template<> | |
SHEAF_DLL_SPEC bool | has_visited (pod_index_type xhub_id) const |
template<> | |
SHEAF_DLL_SPEC void | put_has_visited (pod_index_type xhub_id, bool xvalue) |
template<> | |
SHEAF_DLL_SPEC void | clear_has_visited () |
template<> | |
SHEAF_DLL_SPEC void | reserve_has_visited (pod_index_type xub) |
template<> | |
SHEAF_DLL_SPEC bool | has_visited (pod_index_type xhub_id) const |
template<> | |
SHEAF_DLL_SPEC void | put_has_visited (pod_index_type xhub_id, bool xvalue) |
template<> | |
SHEAF_DLL_SPEC void | clear_has_visited () |
template<> | |
SHEAF_DLL_SPEC void | reserve_has_visited (pod_index_type xub) |
template<> | |
SHEAF_DLL_SPEC bool | has_visited (pod_index_type xhub_id) const |
template<> | |
SHEAF_DLL_SPEC void | put_has_visited (pod_index_type xhub_id, bool xvalue) |
depth_first_itr & | operator= (const depth_first_itr &xother) |
Assignment operator. More... | |
virtual | ~depth_first_itr () |
Destructor. More... | |
order_type | order () const |
The order of the iteration. Determines which actions are exported to the client. More... | |
virtual bool | is_initialized () const |
True if this has been initialized for iteration with respect to a specific anchor. More... | |
virtual abstract_poset_member & | anchor () |
The poset member whose downset is being iterated over; the top member of the domain of iteration. More... | |
virtual const abstract_poset_member & | anchor () const |
The poset member whose downset is being iterated over; the top member of the domain of iteration. More... | |
virtual bool | anchor_is_ancestor_of (const abstract_poset_member &xmbr) const |
True if xmbr conforms to the type of anchor of this. More... | |
bool | descending () const |
True if iterating over down set of anchor. More... | |
bool | strict () const |
True if iterating over xstrict up/down set of anchor. More... | |
subposet & | filter () |
The subposet which is the filter; Defines what is passed, not what is blocked. More... | |
bool | is_done () const |
True if iteration finished. More... | |
virtual void | force_is_done () |
Force the iterator to be done. More... | |
void | next () |
Makes this the next member of the subset. More... | |
void | truncate () |
Makes this the next member of the subset which is not less than old this, i.e. the depth-first descent is truncated and the cover of this is not visited. More... | |
virtual void | next (bool xtruncate) |
Makes this the next member of the subset. If action() == PREVISIT_ACTION and xtruncate, new this is not less than old this, i.e. the depth-first descent is truncated and the cover of this is not visited. If action() != PREVISIT_ACTION, xtruncate is ignored. More... | |
virtual void | reset (bool xreset_markers=true) |
Restarts the iteration over the down set of anchor(). More... | |
int | ct (bool xreset=false) |
The number of members of the iteration set, from the current member to the end, inclusive. If xreset, reset before computing the count. More... | |
void | clear_has_visited () |
Makes has_visited(i) false for all i. More... | |
void | reserve_has_visited (pod_index_type xub) |
Ensures has_visited(i) is a legal call for 0 <= i < xub. More... | |
bool | has_visited (pod_index_type xhub_id) const |
True if this has already visited member with hub id xhub_id. More... | |
bool | has_visited (const scoped_index &xid) const |
True if this has already visited member with id xid. More... | |
bool | has_visited (const abstract_poset_member *xmbr) const |
True if this has already visited member xmbr. More... | |
void | put_has_visited (pod_index_type xhub_id, bool xvalue) |
Set the visited marker for hub id xhub_id to xvalue. Intended for use reseting iterator without having to reset entire collection of markers. More... | |
void | put_has_visited (const scoped_index &xid, bool xvalue) |
Set the visisted marker for id xid to xvalue. Intended for use reseting iterator without having to reset entire collection of markers. More... | |
bool | visit_once () const |
True if traversal should only visit a member once; that is, it should not revisit members it has already visited. More... | |
void | put_visit_once (bool xvisit_once) |
Set visit_once() to xvisit_once. More... | |
bool | is_maximal () |
True if the current member has no greater member within the subposet visited by this iterator. More... | |
const scoped_index & | greater_index () const |
The index of the greater member of the current link. More... | |
const scoped_index & | lesser_index () const |
The index of the lesser member of the current link. More... | |
action_type | action () const |
The type of action the client should take when the iterator returns control to the client. More... | |
void | erase_cover () |
Schedules the lesser member entry in the cover of the greater member of the current link for deletion on the next call to next(). Warning: this function can change the state of the the cover relation graph in unpredictable ways. Use only if you know what you are doing. More... | |
const scoped_index & | index () const |
The index of the current member of the iteration. More... | |
size_t | depth () |
The length of the path from anchor() to the current member. More... | |
Public Member Functions inherited from sheaf::any | |
bool | is_same_type (const any *other) const |
True if other is the same type as this. More... | |
virtual | ~any () |
Destructor. More... | |
bool | invariant_check () const |
True if invariant checking is enabled. More... | |
void | enable_invariant_check () const |
Enable invariant checking. More... | |
void | disable_invariant_check () const |
Disable invariant check. Intended for preventing recursive calls to invariant and for suppressing invariant checking during multi-phase initialization. More... | |
int | disable_invariance_check_request_depth () const |
Number of times disable_invariant_check has been called without matching call to enable_invariant_check. More... | |
Static Public Attributes inherited from sheaf::depth_first_itr< T > | |
static const char * | NULL_FILTER = "" |
Placeholder for null filter. More... | |
Protected Types inherited from sheaf::depth_first_itr< T > | |
enum | iterator_state { FIRST, INIT_COVER_ITERATOR, TEST_HAS_VISITED, INC_COVER_ITERATOR, ERASE_COVER_ITERATOR, DESCEND, TEST_PATH_TAIL, ASCEND, EXECUTE_PREVISIT_ACTION, EXECUTE_LINK_ACTION, EXECUTE_POSTVISIT_ACTION, FINISH, NOT_A_STATE } |
The states for the finite state machine that controls iteration. More... | |
enum | iterator_token { PASS, FAIL } |
The input tokens for the finite state machine. More... | |
Protected Member Functions inherited from sheaf::depth_first_itr< T > | |
template<> | |
void | initialize_has_visited (const abstract_poset_member &xanchor) |
template<> | |
void | initialize_has_visited (const abstract_poset_member &xanchor) |
template<> | |
void | initialize_has_visited (const abstract_poset_member &xanchor) |
template<> | |
SHEAF_DLL_SPEC void | initialize_has_visited (const abstract_poset_member &xanchor) |
template<> | |
SHEAF_DLL_SPEC void | initialize_has_visited (const abstract_poset_member &xanchor) |
template<> | |
SHEAF_DLL_SPEC void | initialize_has_visited (const abstract_poset_member &xanchor) |
depth_first_itr () | |
Default constructor; creates an unattached iterator,. More... | |
depth_first_itr (const depth_first_itr &xother) | |
Copy constructor. More... | |
void | first () |
Moves this to the first member of the iteration. More... | |
void | mark_visited (abstract_poset_member *xmbr) |
Mark xmbr as visited. Warning: this function can change the state of the iteration in unpredictable ways. Use only if you know what you are doing. More... | |
void | mark_not_visited (abstract_poset_member *xmbr) |
Mark xmbr as not visited. Warning: this function can change the state of the iteration in unpredictable ways. Use only if you know what you are doing. More... | |
virtual void | attach_item () |
Attaches the item handle to the current index. Empty in this class; intended for redefinition in descendants. More... | |
virtual void | detach_item () |
Detaches the item handle to the current index. Empty in this class; intended for redefinition in descendants. More... | |
void | initialize_order (order_type xorder) |
Initializes _order and _transition_fcn. More... | |
void | initialize_traversal (const abstract_poset_member &xanchor) |
Initializes the anchor, has_visited markers and filter. More... | |
void | initialize_traversal (pod_index_type xanchor_hub_id) |
Initializes the anchor, has_visited markers and filter. More... | |
void | initialize_traversal (const scoped_index &xanchor_id) |
Initializes the anchor, has_visited markers and filter. More... | |
void | initialize_anchor (const abstract_poset_member &xanchor) |
Initializes the anchor. More... | |
virtual void | initialize_has_visited (const abstract_poset_member &xanchor) |
Initializes the has_visited markers. More... | |
bool | filter (pod_index_type xhub_id) |
The value of the filter at hub id xhub_id. More... | |
bool | filter (const scoped_index &xid) |
The value of the filter at id xid. More... | |
void | initialize_filter () |
Initializes the filter subposet from the client filter. More... | |
void | initialize_filter (const subposet &xfilter) |
Initializes the client filter to xfilter then initializes the filter from the client filter. More... | |
void | initialize_filter (pod_index_type xfilter_hub_id) |
Initializes the client filter to the subposet with hub id xfilter_hub_id then initializes the filter from the client filter. More... | |
void | initialize_filter (const scoped_index &xfilter_id) |
Initializes the client filter to the subposet with id xfilter_id then initializes the filter from the client filter. More... | |
void | initialize_filter (const std::string &xfilter_name) |
Initializes the client filter to the subposet with name xfilter_name then initializes the filter from the client filter. More... | |
void | release_cover_id_space_iterators () |
Release the cover iterators back to the pool of iterators. More... | |
Protected Member Functions inherited from sheaf::any | |
any () | |
default constructor More... | |
Protected Attributes inherited from sheaf::depth_first_itr< T > | |
abstract_poset_member * | _anchor |
The top member of the down set being iterated over. More... | |
action_type | _action |
The type of action the client should take; the state of the iterator. More... | |
scoped_index | _index |
The index of the lesser end of the current link; the current item in the iteration. More... | |
scoped_index | _greater_index |
The index of the greater member of the current link. More... | |
scoped_index | _lesser_index |
The index of the lesser member of the current link. More... | |
subposet | _client_filter |
The filter specified by the client. More... | |
bool | _new_filter |
True if this allocated a new filter;. More... | |
bool | _descending |
True if iterating over the up/down set of anchor. More... | |
bool | _strict |
True if iterating over the strict up/down set of anchor. More... | |
order_type | _order |
The order of the iteration. More... | |
const iterator_state(* | _transition_fcn )[FAIL+1] |
The current state transition function for the iterator finite state machine. Points to one of the predefined transition functions. More... | |
iterator_state | _state |
The current state of iteration. More... | |
index_space_iterator * | _path_head_lc |
The lower cover iterator for the head of the path to the current member of the iteration. More... | |
index_space_iterator * | _path_head |
The head of the path to the current member of the iteration lesser_index() == this->index() == **_path_head == lesser member of current link. More... | |
std::stack< index_space_iterator * > | _path_tail |
The tail of the path to the current member of the iteration greater_index() == **(_path_tail.top()) == greater member of current link. More... | |
std::stack< pod_index_type > | _filtered_path_tail |
The tail of the filtered path to the current member of the iteration. Contains only members which pass the filter; equivalent to the path in the subposet selected by the filter. More... | |
bool | _visit_once |
True if traversal should only visit a member once; that is, it should not revisit members it has already visited. More... | |
Static Protected Attributes inherited from sheaf::depth_first_itr< T > | |
static const char * | iterator_state_names [NOT_A_STATE+1] |
The names of the iterator states, convenient for debugging. More... | |
static const iterator_state | PREORDER_TRANSITION_FCN [NOT_A_STATE-1][FAIL+1] |
The predefined transition function for postorder iteration. Defines the next state for each combination of state and input token, except for state FINISH, which is always a terminal state. More... | |
static const iterator_state | POSTORDER_TRANSITION_FCN [NOT_A_STATE-1][FAIL+1] |
The predefined transition function for postorder iteration. Defines the next state for each combination of state and input token, except for state FINISH, which is always a terminal state. More... | |
static const iterator_state | LINKORDER_TRANSITION_FCN [NOT_A_STATE-1][FAIL+1] |
The predefined transition function for linkorder iteration. Defines the next state for each combination of state and input token, except for state FINISH, which is always a terminal state. More... | |
static const iterator_state | BIORDER_TRANSITION_FCN [NOT_A_STATE-1][FAIL+1] |
The predefined transition function for biorder iteration. Defines the next state for each combination of state and input token, except for state FINISH, which is always a terminal state. More... | |
static const iterator_state | TRIORDER_TRANSITION_FCN [NOT_A_STATE-1][FAIL+1] |
The predefined transition function for triorder iteration. Defines the next state for each combination of state and input token, except for state FINISH, which is always a terminal state. More... | |
The general depth-first iterator over the intersection of a subposet filter with a directional (up or down) set of a poset member anchor. Implemented as a finite state machine with a client selectable state transition function that can be chosen to provide various iteration orders.
The iterator returns control to the client so that the it can perform client-defined actions. There are three action types, the PREVISIT_ACTION, the POSTVISIT_ACTION, and the LINK_ACTION, each associated with specific positions in the iteration. The previsit position is immediately before iteration over the cover of the current member begins. The postvisit position is immediately after iteration over the cover ends. The link position is on the current link, immediately after the lesser end of the link has been visited and context has ascended to the current link. The link action thus immediately follows the postvisit action of the lesser member, but the context is different.
This iterator visits every link in the cover relation graph above/below the anchor of the iteration, maintaining a path to the current member. Conceptually, the path is a list of pointers to lower cover iterators. The current member of each iterator is a node in the path. Physically, the path is stored in two parts. _index is the head of the list. The tail of the list is stored in the variable _path. The current link in the graph is the link between the front of _path and _index, with _index being the lesser member of the link.
Definition at line 83 of file filtered_depth_first_itr.h.
sheaf::filtered_depth_first_itr< T >::filtered_depth_first_itr | ( | ) |
Default constructor; creates an unattached iterator, with and all-pass filter.
Definition at line 62 of file filtered_depth_first_itr.impl.h.
References sheaf::depth_first_itr< T >::descending(), sheaf::filtered_depth_first_itr< T >::invariant(), sheaf::depth_first_itr< T >::is_initialized(), sheaf::depth_first_itr< T >::order(), sheaf::depth_first_itr< T >::strict(), and sheaf::depth_first_itr< T >::visit_once().
Referenced by sheaf::filtered_depth_first_itr< T >::clone(), sheaf::filtered_depth_first_itr< T >::filtered_depth_first_itr(), and sheaf::filtered_depth_first_itr< T >::~filtered_depth_first_itr().
sheaf::filtered_depth_first_itr< T >::filtered_depth_first_itr | ( | const filtered_depth_first_itr< T > & | xother | ) |
Copy constructor.
Definition at line 85 of file filtered_depth_first_itr.impl.h.
References sheaf::depth_first_itr< T >::anchor(), sheaf::depth_first_itr< T >::descending(), sheaf::depth_first_itr< T >::filter(), sheaf::depth_first_itr< T >::first(), sheaf::filtered_depth_first_itr< T >::invariant(), sheaf::depth_first_itr< T >::is_done(), sheaf::depth_first_itr< T >::is_initialized(), sheaf::filtered_depth_first_itr< T >::operator=(), sheaf::depth_first_itr< T >::order(), sheaf::depth_first_itr< T >::strict(), sheaf::poset_component::version(), and sheaf::depth_first_itr< T >::visit_once().
sheaf::filtered_depth_first_itr< T >::~filtered_depth_first_itr | ( | ) |
Destructor.
Definition at line 143 of file filtered_depth_first_itr.impl.h.
References sheaf::filtered_depth_first_itr< T >::filtered_depth_first_itr().
Referenced by sheaf::filtered_depth_first_itr< T >::operator=().
sheaf::filtered_depth_first_itr< T >::filtered_depth_first_itr | ( | const abstract_poset_member & | xanchor, |
bool | xdown, | ||
bool | xstrict, | ||
typename depth_first_itr< T >::order_type | xorder = depth_first_itr<T>::TRIORDER |
||
) |
Creates an iterator anchored at xanchor, with no filter. If xdown, iterate in the down direction, otherwise iterate up. If xstrict, iterate over strict up/down set only.
Definition at line 160 of file filtered_depth_first_itr.impl.h.
References sheaf::depth_first_itr< T >::_anchor, sheaf::depth_first_itr< T >::_descending, sheaf::depth_first_itr< T >::_new_filter, sheaf::depth_first_itr< T >::_strict, sheaf::depth_first_itr< T >::anchor(), sheaf::depth_first_itr< T >::descending(), sheaf::depth_first_itr< T >::filter(), sheaf::filtered_depth_first_itr< T >::filtered_depth_first_itr(), sheaf::depth_first_itr< T >::first(), sheaf::depth_first_itr< T >::index(), sheaf::depth_first_itr< T >::initialize_order(), sheaf::filtered_depth_first_itr< T >::invariant(), sheaf::depth_first_itr< T >::is_done(), sheaf::depth_first_itr< T >::is_initialized(), sheaf::any::is_same_type(), sheaf::filtered_depth_first_itr< T >::put_anchor(), sheaf::filtered_depth_first_itr< T >::put_filter(), sheaf::depth_first_itr< T >::reset(), sheaf::read_write_monitor_handle::state_is_read_accessible(), sheaf::depth_first_itr< T >::strict(), sheaf::poset_component::version(), sheaf::poset_component::version_index(), and sheaf::depth_first_itr< T >::visit_once().
sheaf::filtered_depth_first_itr< T >::filtered_depth_first_itr | ( | const abstract_poset_member & | xanchor, |
const subposet & | xfilter, | ||
bool | xdown, | ||
bool | xstrict, | ||
typename depth_first_itr< T >::order_type | xorder = depth_first_itr<T>::TRIORDER |
||
) |
Creates an iterator anchored at xanchor, filtered by xfilter_index. If xdown, iterate in the down direction, otherwise iterate up. If xstrict, iterate over strict up/down set only.
Definition at line 207 of file filtered_depth_first_itr.impl.h.
References sheaf::depth_first_itr< T >::_anchor, sheaf::depth_first_itr< T >::_descending, sheaf::depth_first_itr< T >::_new_filter, sheaf::depth_first_itr< T >::_strict, sheaf::depth_first_itr< T >::anchor(), sheaf::depth_first_itr< T >::descending(), sheaf::depth_first_itr< T >::filter(), sheaf::filtered_depth_first_itr< T >::filtered_depth_first_itr(), sheaf::depth_first_itr< T >::first(), sheaf::poset_component::host(), sheaf::poset_state_handle::includes_subposet(), sheaf::depth_first_itr< T >::index(), sheaf::depth_first_itr< T >::initialize_order(), sheaf::filtered_depth_first_itr< T >::invariant(), sheaf::depth_first_itr< T >::is_done(), sheaf::depth_first_itr< T >::is_initialized(), sheaf::any::is_same_type(), sheaf::filtered_depth_first_itr< T >::put_anchor(), sheaf::filtered_depth_first_itr< T >::put_filter(), sheaf::depth_first_itr< T >::reset(), sheaf::read_write_monitor_handle::state_is_read_accessible(), sheaf::depth_first_itr< T >::strict(), sheaf::poset_component::version(), and sheaf::depth_first_itr< T >::visit_once().
sheaf::filtered_depth_first_itr< T >::filtered_depth_first_itr | ( | const abstract_poset_member & | xanchor, |
pod_index_type | xfilter_index, | ||
bool | xdown, | ||
bool | xstrict, | ||
typename depth_first_itr< T >::order_type | xorder = depth_first_itr<T>::TRIORDER |
||
) |
Creates an iterator anchored at xanchor, filtered by xfilter_index. If xdown, iterate in the down direction, otherwise iterate up. If xstrict, iterate over strict up/down set only.
Definition at line 256 of file filtered_depth_first_itr.impl.h.
References sheaf::depth_first_itr< T >::_anchor, sheaf::depth_first_itr< T >::_descending, sheaf::depth_first_itr< T >::_new_filter, sheaf::depth_first_itr< T >::_strict, sheaf::depth_first_itr< T >::anchor(), sheaf::depth_first_itr< T >::filter(), sheaf::filtered_depth_first_itr< T >::filtered_depth_first_itr(), sheaf::depth_first_itr< T >::first(), sheaf::poset_component::host(), sheaf::poset_state_handle::includes_subposet(), sheaf::depth_first_itr< T >::index(), sheaf::depth_first_itr< T >::initialize_order(), sheaf::filtered_depth_first_itr< T >::invariant(), sheaf::depth_first_itr< T >::is_done(), sheaf::depth_first_itr< T >::is_initialized(), sheaf::any::is_same_type(), sheaf::filtered_depth_first_itr< T >::put_anchor(), sheaf::filtered_depth_first_itr< T >::put_filter(), sheaf::depth_first_itr< T >::reset(), sheaf::read_write_monitor_handle::state_is_read_accessible(), sheaf::depth_first_itr< T >::strict(), sheaf::poset_component::version(), and sheaf::depth_first_itr< T >::visit_once().
sheaf::filtered_depth_first_itr< T >::filtered_depth_first_itr | ( | const abstract_poset_member & | xanchor, |
const scoped_index & | xfilter_index, | ||
bool | xdown, | ||
bool | xstrict, | ||
typename depth_first_itr< T >::order_type | xorder = depth_first_itr<T>::TRIORDER |
||
) |
Creates an iterator anchored at xanchor, filtered by xfilter_index. If xdown, iterate in the down direction, otherwise iterate up. If xstrict, iterate over strict up/down set only.
Definition at line 304 of file filtered_depth_first_itr.impl.h.
References sheaf::depth_first_itr< T >::_anchor, sheaf::depth_first_itr< T >::_descending, sheaf::depth_first_itr< T >::_new_filter, sheaf::depth_first_itr< T >::_strict, sheaf::depth_first_itr< T >::anchor(), sheaf::depth_first_itr< T >::filter(), sheaf::filtered_depth_first_itr< T >::filtered_depth_first_itr(), sheaf::depth_first_itr< T >::first(), sheaf::poset_component::host(), sheaf::scoped_index::hub_pod(), sheaf::poset_state_handle::includes_subposet(), sheaf::depth_first_itr< T >::index(), sheaf::depth_first_itr< T >::initialize_order(), sheaf::filtered_depth_first_itr< T >::invariant(), sheaf::depth_first_itr< T >::is_done(), sheaf::depth_first_itr< T >::is_initialized(), sheaf::any::is_same_type(), sheaf::filtered_depth_first_itr< T >::put_anchor(), sheaf::filtered_depth_first_itr< T >::put_filter(), sheaf::depth_first_itr< T >::reset(), sheaf::read_write_monitor_handle::state_is_read_accessible(), sheaf::depth_first_itr< T >::strict(), sheaf::poset_component::version(), and sheaf::depth_first_itr< T >::visit_once().
sheaf::filtered_depth_first_itr< T >::filtered_depth_first_itr | ( | const abstract_poset_member & | xanchor, |
const std::string & | xfilter_name, | ||
bool | xdown, | ||
bool | xstrict, | ||
typename depth_first_itr< T >::order_type | xorder = depth_first_itr<T>::TRIORDER |
||
) |
Creates an iterator anchored at xanchor, filtered by xfilter_name. If xdown, iterate in the down direction, otherwise iterate up. If xstrict, iterate over strict up/down set only.
Definition at line 350 of file filtered_depth_first_itr.impl.h.
References sheaf::depth_first_itr< T >::_anchor, sheaf::depth_first_itr< T >::_descending, sheaf::depth_first_itr< T >::_new_filter, sheaf::depth_first_itr< T >::_strict, sheaf::depth_first_itr< T >::anchor(), sheaf::depth_first_itr< T >::descending(), sheaf::depth_first_itr< T >::filter(), sheaf::depth_first_itr< T >::first(), sheaf::poset_component::host(), sheaf::poset_state_handle::includes_subposet(), sheaf::depth_first_itr< T >::index(), sheaf::depth_first_itr< T >::initialize_order(), sheaf::filtered_depth_first_itr< T >::invariant(), sheaf::depth_first_itr< T >::is_done(), sheaf::depth_first_itr< T >::is_initialized(), sheaf::any::is_same_type(), sheaf::subposet::name(), sheaf::filtered_depth_first_itr< T >::put_anchor(), sheaf::filtered_depth_first_itr< T >::put_filter(), sheaf::depth_first_itr< T >::reset(), sheaf::read_write_monitor_handle::state_is_read_accessible(), sheaf::depth_first_itr< T >::strict(), sheaf::poset_component::version(), sheaf::poset_component::version_name(), and sheaf::depth_first_itr< T >::visit_once().
|
virtual |
Make a new instance of the same type as this.
Reimplemented from sheaf::depth_first_itr< T >.
Reimplemented in sheaf::triorder_itr< T >, sheaf::preorder_itr< T >, sheaf::biorder_itr< T >, sheaf::linkorder_itr< T >, and sheaf::postorder_itr< T >.
Definition at line 754 of file filtered_depth_first_itr.impl.h.
References sheaf::filtered_depth_first_itr< T >::filtered_depth_first_itr(), sheaf::filtered_depth_first_itr< T >::invariant(), and sheaf::depth_first_itr< T >::is_initialized().
Referenced by sheaf::filtered_depth_first_itr< T >::is_ancestor_of().
|
virtual |
The class invariant.
Reimplemented from sheaf::depth_first_itr< T >.
Reimplemented in sheaf::triorder_itr< T >, sheaf::preorder_itr< T >, sheaf::linkorder_itr< T >, and sheaf::postorder_itr< T >.
Definition at line 777 of file filtered_depth_first_itr.impl.h.
References sheaf::any::disable_invariant_check(), sheaf::any::enable_invariant_check(), and sheaf::any::invariant_check().
Referenced by sheaf::filtered_depth_first_itr< T >::clone(), sheaf::filtered_depth_first_itr< T >::filtered_depth_first_itr(), sheaf::filtered_depth_first_itr< T >::operator=(), sheaf::filtered_depth_first_itr< T >::put_anchor(), and sheaf::filtered_depth_first_itr< T >::put_filter().
|
virtual |
True if other conforms to this.
Reimplemented from sheaf::depth_first_itr< T >.
Reimplemented in sheaf::triorder_itr< T >, sheaf::preorder_itr< T >, sheaf::biorder_itr< T >, sheaf::linkorder_itr< T >, and sheaf::postorder_itr< T >.
Definition at line 734 of file filtered_depth_first_itr.impl.h.
References sheaf::filtered_depth_first_itr< T >::clone().
Referenced by sheaf::filtered_depth_first_itr< T >::put_filter().
filtered_depth_first_itr< T > & sheaf::filtered_depth_first_itr< T >::operator= | ( | const filtered_depth_first_itr< T > & | xother | ) |
Assignment operator.
Definition at line 113 of file filtered_depth_first_itr.impl.h.
References sheaf::depth_first_itr< T >::anchor(), sheaf::depth_first_itr< T >::descending(), sheaf::depth_first_itr< T >::filter(), sheaf::depth_first_itr< T >::first(), sheaf::filtered_depth_first_itr< T >::invariant(), sheaf::depth_first_itr< T >::is_done(), sheaf::depth_first_itr< T >::is_initialized(), sheaf::depth_first_itr< T >::order(), sheaf::depth_first_itr< T >::strict(), sheaf::poset_component::version(), sheaf::depth_first_itr< T >::visit_once(), and sheaf::filtered_depth_first_itr< T >::~filtered_depth_first_itr().
Referenced by sheaf::filtered_depth_first_itr< T >::filtered_depth_first_itr().
|
virtual |
Set anchor() to xanchor.
Definition at line 412 of file filtered_depth_first_itr.impl.h.
References sheaf::depth_first_itr< T >::_descending, sheaf::depth_first_itr< T >::_strict, sheaf::depth_first_itr< T >::anchor(), sheaf::depth_first_itr< T >::anchor_is_ancestor_of(), sheaf::depth_first_itr< T >::descending(), sheaf::depth_first_itr< T >::filter(), sheaf::depth_first_itr< T >::force_is_done(), sheaf::depth_first_itr< T >::index(), sheaf::depth_first_itr< T >::initialize_traversal(), sheaf::filtered_depth_first_itr< T >::invariant(), sheaf::depth_first_itr< T >::is_done(), sheaf::depth_first_itr< T >::is_initialized(), sheaf::any::is_same_type(), sheaf::read_write_monitor_handle::state_is_read_accessible(), sheaf::depth_first_itr< T >::strict(), and sheaf::poset_component::version().
Referenced by sheaf::filtered_depth_first_itr< T >::filtered_depth_first_itr(), fields::body_pusher::push_pa(), and sheaf::filtered_depth_first_itr< T >::put_anchor().
|
virtual |
Set anchor() to member identified by xanchor_index.
Definition at line 453 of file filtered_depth_first_itr.impl.h.
References sheaf::depth_first_itr< T >::_descending, sheaf::depth_first_itr< T >::_strict, sheaf::depth_first_itr< T >::anchor(), sheaf::depth_first_itr< T >::descending(), sheaf::depth_first_itr< T >::filter(), sheaf::depth_first_itr< T >::force_is_done(), sheaf::depth_first_itr< T >::index(), sheaf::depth_first_itr< T >::initialize_traversal(), sheaf::filtered_depth_first_itr< T >::invariant(), sheaf::depth_first_itr< T >::is_done(), sheaf::depth_first_itr< T >::is_initialized(), sheaf::filtered_depth_first_itr< T >::put_anchor(), and sheaf::depth_first_itr< T >::strict().
void sheaf::filtered_depth_first_itr< T >::put_anchor | ( | const scoped_index & | xanchor_index | ) |
Set anchor() to member identified by xanchor_index.
Definition at line 495 of file filtered_depth_first_itr.impl.h.
References sheaf::depth_first_itr< T >::_descending, sheaf::depth_first_itr< T >::_strict, sheaf::depth_first_itr< T >::anchor(), sheaf::depth_first_itr< T >::descending(), sheaf::depth_first_itr< T >::filter(), sheaf::scoped_index::hub_pod(), sheaf::depth_first_itr< T >::index(), sheaf::filtered_depth_first_itr< T >::invariant(), sheaf::depth_first_itr< T >::is_done(), sheaf::depth_first_itr< T >::is_initialized(), sheaf::filtered_depth_first_itr< T >::put_anchor(), sheaf::filtered_depth_first_itr< T >::put_descending(), and sheaf::depth_first_itr< T >::strict().
void sheaf::filtered_depth_first_itr< T >::put_descending | ( | bool | xdescending | ) |
Set descending() to xdescending.
Definition at line 530 of file filtered_depth_first_itr.impl.h.
References sheaf::depth_first_itr< T >::_descending, sheaf::depth_first_itr< T >::descending(), and sheaf::filtered_depth_first_itr< T >::put_strict().
Referenced by sheaf::filtered_depth_first_itr< T >::put_anchor().
void sheaf::filtered_depth_first_itr< T >::put_filter | ( | const subposet & | xfilter | ) |
Sets the subposet which is the filter.
Definition at line 570 of file filtered_depth_first_itr.impl.h.
References sheaf::depth_first_itr< T >::_descending, sheaf::depth_first_itr< T >::_strict, sheaf::depth_first_itr< T >::anchor(), sheaf::depth_first_itr< T >::descending(), sheaf::depth_first_itr< T >::filter(), sheaf::depth_first_itr< T >::force_is_done(), sheaf::depth_first_itr< T >::initialize_filter(), sheaf::filtered_depth_first_itr< T >::invariant(), sheaf::depth_first_itr< T >::is_done(), sheaf::depth_first_itr< T >::is_initialized(), and sheaf::depth_first_itr< T >::strict().
Referenced by sheaf::filtered_depth_first_itr< T >::filtered_depth_first_itr(), sheaf::filtered_depth_first_itr< T >::put_filter(), and sheaf::filtered_depth_first_itr< T >::put_strict().
void sheaf::filtered_depth_first_itr< T >::put_filter | ( | const std::string & | xfilter_name | ) |
Sets the subposet which is the filter.
Definition at line 608 of file filtered_depth_first_itr.impl.h.
References sheaf::depth_first_itr< T >::_descending, sheaf::depth_first_itr< T >::_strict, sheaf::depth_first_itr< T >::anchor(), sheaf::depth_first_itr< T >::descending(), sheaf::depth_first_itr< T >::filter(), sheaf::depth_first_itr< T >::force_is_done(), sheaf::poset_component::host(), sheaf::poset_state_handle::includes_subposet(), sheaf::depth_first_itr< T >::initialize_filter(), sheaf::filtered_depth_first_itr< T >::invariant(), sheaf::depth_first_itr< T >::is_done(), sheaf::depth_first_itr< T >::is_initialized(), sheaf::subposet::name(), sheaf::filtered_depth_first_itr< T >::put_filter(), sheaf::depth_first_itr< T >::strict(), and sheaf::poset_component::version_name().
void sheaf::filtered_depth_first_itr< T >::put_filter | ( | pod_index_type | xfilter_index | ) |
Sets the subposet which is the filter.
Definition at line 648 of file filtered_depth_first_itr.impl.h.
References sheaf::depth_first_itr< T >::_descending, sheaf::depth_first_itr< T >::_strict, sheaf::depth_first_itr< T >::anchor(), sheaf::depth_first_itr< T >::descending(), sheaf::depth_first_itr< T >::filter(), sheaf::depth_first_itr< T >::force_is_done(), sheaf::depth_first_itr< T >::index(), sheaf::depth_first_itr< T >::initialize_filter(), sheaf::filtered_depth_first_itr< T >::invariant(), sheaf::depth_first_itr< T >::is_done(), sheaf::depth_first_itr< T >::is_initialized(), sheaf::filtered_depth_first_itr< T >::put_filter(), and sheaf::depth_first_itr< T >::strict().
void sheaf::filtered_depth_first_itr< T >::put_filter | ( | const scoped_index & | xfilter_index | ) |
Sets the subposet which is the filter.
Definition at line 685 of file filtered_depth_first_itr.impl.h.
References sheaf::depth_first_itr< T >::_descending, sheaf::depth_first_itr< T >::_strict, sheaf::depth_first_itr< T >::anchor(), sheaf::depth_first_itr< T >::descending(), sheaf::depth_first_itr< T >::filter(), sheaf::depth_first_itr< T >::force_is_done(), sheaf::scoped_index::hub_pod(), sheaf::depth_first_itr< T >::index(), sheaf::depth_first_itr< T >::initialize_filter(), sheaf::filtered_depth_first_itr< T >::invariant(), sheaf::filtered_depth_first_itr< T >::is_ancestor_of(), sheaf::depth_first_itr< T >::is_done(), sheaf::depth_first_itr< T >::is_initialized(), and sheaf::depth_first_itr< T >::strict().
void sheaf::filtered_depth_first_itr< T >::put_strict | ( | bool | xstrict | ) |
Set strict() to xstrict.
Definition at line 550 of file filtered_depth_first_itr.impl.h.
References sheaf::depth_first_itr< T >::_strict, sheaf::filtered_depth_first_itr< T >::put_filter(), and sheaf::depth_first_itr< T >::strict().
Referenced by sheaf::filtered_depth_first_itr< T >::put_descending().