subposet_member_iterator.h

//
// Copyright (c) 2014 Limit Point Systems, Inc.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//   http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
//

// Interface for class subposet_member_iterator

#ifndef SUBPOSET_MEMBER_ITERATOR_H
#define SUBPOSET_MEMBER_ITERATOR_H

#ifndef SHEAF_DLL_SPEC_H
#include "SheafSystem/sheaf_dll_spec.h"
#endif

#ifndef POSET_MEMBER_ITERATOR_H
#include "SheafSystem/poset_member_iterator.h"
#endif

#ifndef INDEX_ITERATOR_H
#include "SheafSystem/index_iterator.h"
#endif

namespace sheaf
{

class subposet;  

class SHEAF_DLL_SPEC subposet_member_iterator : public poset_member_iterator
{

public:

  subposet_member_iterator(const subposet& xsubposet);

  ~subposet_member_iterator();

  bool  invariant() const;

  bool is_done() const;

  bool is_last() const;

  void next();

  void reset();

  void reset(const subposet* xsubposet);

  subposet* domain() const;

protected:

  subposet* _domain;

  index_iterator _itr;

  zn_to_bool* _filter;

  bool _new_filter;

  void initialize_filter();

  virtual subposet_member_iterator& operator=(const abstract_poset_member& xother);

  subposet_member_iterator& operator=(const subposet_member_iterator& xother);


};
  
} // namespace sheaf

#endif // ifndef SUBPOSET_MEMBER_ITERATOR_H