SimpleConjunction.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_SIMPLE_CONJUNCTION_H
#define KNOWROB_SIMPLE_CONJUNCTION_H
 
#include "Conjunction.h"
#include "FirstOrderLiteral.h"
 
namespace knowrob {
    class SimpleConjunction : public Conjunction {
    public:
        explicit SimpleConjunction(const std::vector<FirstOrderLiteralPtr> &literals);
 
        explicit SimpleConjunction(const FirstOrderLiteralPtr &literal);
 
        auto &literals() const { return literals_; }
 
    protected:
        std::vector<FirstOrderLiteralPtr> literals_;
    };
 
    using SimpleConjunctionPtr = std::shared_ptr<SimpleConjunction>;
 
} // knowrob
 
#endif //KNOWROB_SIMPLE_CONJUNCTION_H