knowrob  2.1.0
A Knowledge Base System for Cognition-enabled Robots
Conjunction.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_CONJUNCTION_FORMULA_H_
7 #define KNOWROB_CONJUNCTION_FORMULA_H_
8 
9 #include <vector>
10 #include "knowrob/terms/Term.h"
11 #include <knowrob/formulas/CompoundFormula.h>
12 
13 namespace knowrob {
17  class Conjunction : public CompoundFormula {
18  public:
22  explicit Conjunction(const std::vector<FormulaPtr> &formulae);
23 
24  // Override ConnectiveFormula
25  const char *operator_symbol() const override { return "\u2227"; }
26 
27  protected:
28  bool isEqual(const Formula &other) const override;
29  };
30 
37  FormulaPtr operator&(const FormulaPtr &phi, const FormulaPtr &psi);
38 }
39 
40 #endif //KNOWROB_CONJUNCTION_FORMULA_H_
const std::vector< FormulaPtr > & formulae() const
bool isEqual(const Formula &other) const override
Conjunction(const std::vector< FormulaPtr > &formulae)
const char * operator_symbol() const override
Definition: Conjunction.h:25
std::shared_ptr< Formula > FormulaPtr
Definition: Formula.h:99
FormulaPtr operator&(const FormulaPtr &phi, const FormulaPtr &psi)
Definition: Conjunction.cpp:34