poset_dft.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 POSET_DFT

#ifndef POSET_DFT_H
#define POSET_DFT_H

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

#ifndef POSET_TRAVERSER_H
#include "SheafSystem/poset_traverser.h"
#endif

#ifndef STD_STACK_H
#include "SheafSystem/std_stack.h"
#endif

namespace sheaf
{
  
class abstract_poset_member;

class SHEAF_DLL_SPEC poset_dft: public poset_traverser
{

public:

  // Class invariant same as base class

  // Constructors:

  poset_dft(const poset_state_handle* xhost);

  ~poset_dft();


protected:

  bool _descend;

  std::stack<abstract_poset_member*> _free_mbrs;

  // actions:

  void          private_traverse();
  void          recursive_dft(abstract_poset_member* xmbr);
  virtual void  previsit_action(abstract_poset_member* xmbr) = 0;
  virtual void  link_action(abstract_poset_member* xgreater, abstract_poset_member* xlesser) = 0;
  virtual void  postvisit_action(abstract_poset_member* xmbr) = 0;


};
 
} // namespace sheaf

#endif // ifndef POSET_DFT_H