Disjunction.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_DISJUNCTION_FORMULA_H_
#define KNOWROB_DISJUNCTION_FORMULA_H_
 
#include <vector>
#include "knowrob/terms/Term.h"
#include <knowrob/formulas/CompoundFormula.h>
 
namespace knowrob {
    class Disjunction : public CompoundFormula {
    public:
        explicit Disjunction(const std::vector<FormulaPtr> &formulae);
 
        // Override ConnectiveFormula
        const char *operator_symbol() const override { return "\u2228"; }
 
    protected:
        bool isEqual(const Formula &other) const override;
    };
 
    FormulaPtr operator|(const FormulaPtr &phi, const FormulaPtr &psi);
}
 
#endif //KNOWROB_DISJUNCTION_FORMULA_H_