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