knowrob  2.1.0
A Knowledge Base System for Cognition-enabled Robots
Top.h
Go to the documentation of this file.
1 /*
2  * This file is part of KnowRob, please consult
3  * https://github.com/knowrob/knowrob for license details.
4  */
5 
6 #ifndef KNOWROB_TOP_H_
7 #define KNOWROB_TOP_H_
8 
9 #include <ostream>
10 #include <memory>
11 #include "Predicate.h"
12 
13 namespace knowrob {
17  class Top : public Predicate {
18  public:
19  static const std::shared_ptr<Top>& get();
20 
21  // Override Printable
22  void write(std::ostream& os) const override;
23 
24  private:
25  Top();
26  protected:
27  bool isEqual(const Formula &other) const override;
28  };
29 }
30 
31 #endif //KNOWROB_TOP_H_
static const std::shared_ptr< Top > & get()
bool isEqual(const Formula &other) const override
void write(std::ostream &os) const override