00001 /* proofTreeTraverser.h 00002 */ 00003 #ifndef _CHECK_PROOFTREETRAVERSER_H 00004 #define _CHECK_PROOFTREETRAVERSER_H 00005 00006 #include "osl/checkmate/analyzer/treeTraverser.h" 00007 namespace osl 00008 { 00009 namespace checkmate 00010 { 00011 namespace analyzer 00012 { 00016 class ProofTreeTraverser : public TreeTraverser 00017 { 00018 public: 00019 ProofTreeTraverser(TreeWriter&, const TwinTable& table); 00020 ~ProofTreeTraverser(); 00021 protected: 00022 void orNode(Move m, const CheckHashRecord *record, const HashKey& key, 00023 const PathEncoding& path); 00024 void andNode(Move, const CheckHashRecord *record, const HashKey& key, 00025 const PathEncoding& path); 00026 }; 00027 } // namespace analyzer 00028 } // namespace checkmate 00029 } // namespace osl 00030 00031 00032 #endif /* _CHECK_PROOFTREETRAVERSER_H */ 00033 // ;;; Local Variables: 00034 // ;;; mode:c++ 00035 // ;;; c-basic-offset:2 00036 // ;;; End: