Negation.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_NEGATED_FORMULA_H
#define KNOWROB_NEGATED_FORMULA_H
 
#include "CompoundFormula.h"
#include "Predicate.h"
 
namespace knowrob {
    class Negation : public CompoundFormula {
    public:
        explicit Negation(const FormulaPtr &formula);
 
        const FormulaPtr &negatedFormula() const { return formulae_[0]; }
 
        // Override ConnectiveFormula
        const char *operator_symbol() const override { return "~"; }
 
    protected:
        bool isEqual(const Formula &other) const override;
    };
 
    FormulaPtr operator~(const FormulaPtr &phi);
 
} // knowrob
 
#endif //KNOWROB_NEGATED_FORMULA_H