Bottom.h

Go to the documentation of this file.

/*
 * This file is part of KnowRob, please consult
 * https://github.com/knowrob/knowrob for license details.
 */
 
#ifndef KNOWROB_BOTTOM_H_
#define KNOWROB_BOTTOM_H_
 
#include <ostream>
#include <memory>
#include "Predicate.h"
 
namespace knowrob {
    class Bottom : public Predicate {
    public:
        static const std::shared_ptr<Bottom> &get();
 
        // Override Printable
        void write(std::ostream &os) const override;
 
    private:
        Bottom();
 
    protected:
        bool isEqual(const Formula &other) const override;
    };
}
 
#endif //KNOWROB_BOTTOM_H_