CompoundFormula.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_COMPOUND_FORMULA_H_
#define KNOWROB_COMPOUND_FORMULA_H_
 
#include <ostream>
#include <vector>
#include "knowrob/terms/Term.h"
#include <knowrob/formulas/Formula.h>
 
namespace knowrob {
    class CompoundFormula : public Formula {
    public:
        CompoundFormula(FormulaType type, const std::vector<FormulaPtr> &formulae);
 
        virtual ~CompoundFormula() = default;
 
        const std::vector<FormulaPtr> &formulae() const { return formulae_; }
 
        virtual const char *operator_symbol() const = 0;
 
        // Override Printable
        void write(std::ostream &os) const override;
 
    protected:
        const std::vector<FormulaPtr> formulae_;
 
        bool isGround1() const;
    };
}
 
#endif //KNOWROB_COMPOUND_FORMULA_H_