cnode/False.h Source File

00001 /*
00002  * False.h
00003  *
00004  *  Created on: Jan 22, 2009
00005  *      Author: tdillig
00006  */
00007 
00008 #ifndef FALSE_H_
00009 #define FALSE_H_
00010 
00011 #include "CNode.h"
00012 
00013 class False:public CNode {
00014         friend class boost::serialization::access;
00015         template<class Archive>
00016         void save(Archive & ar, const unsigned int version) const
00017         {
00018                 ar & boost::serialization::base_object<CNode>(*this);
00019         }
00020         template<class Archive>
00021         void load(Archive & ar, const unsigned int version)
00022         {
00023                 ar & boost::serialization::base_object<CNode>(*this);
00024                 hash_c = 0;
00025 
00026         }
00027         BOOST_SERIALIZATION_SPLIT_MEMBER()
00028 protected:
00029         friend class CNode;
00030         False();
00031         virtual ~False();
00032 public:
00033         static CNode* make();
00034         virtual bool operator==(const CNode& other);
00035         virtual CNode* substitute(map<Term*, Term*>& subs);
00036         virtual string to_string();
00037 
00038 };
00039 
00040 
00041 
00042 #endif /* FALSE_H_ */