ListTerm.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_LIST_TERM_H_
#define KNOWROB_LIST_TERM_H_
 
#include <vector>
#include <memory>
#include <ostream>
#include "Function.h"
 
namespace knowrob {
    class ListTerm : public Function {
    public:
        explicit ListTerm(const std::vector<TermPtr> &elements);
 
        static const AtomPtr &listFunctor();
 
        static std::shared_ptr<ListTerm> nil();
 
        bool isNIL() const;
 
        auto &elements() const { return arguments_; }
 
        auto begin() { return arguments_.begin(); }
 
        auto end() { return arguments_.end(); }
 
        // Override Printable
        void write(std::ostream &os) const override;
    };
}
 
#endif //KNOWROB_LIST_TERM_H_