Unifier.h

Go to the documentation of this file.

/*
 * Copyright (c) 2022, Daniel Beßler
 * All rights reserved.
 *
 * This file is part of KnowRob, please consult
 * https://github.com/knowrob/knowrob for license details.
 */
 
#ifndef KNOWROB_UNIFIER_H_
#define KNOWROB_UNIFIER_H_
 
#include "Bindings.h"
 
namespace knowrob {
    class Unifier : public Bindings {
    public:
        Unifier(const TermPtr &t0, const TermPtr &t1);
        
        bool exists() const { return exists_; }
        
        TermPtr apply();
    
    protected:
        TermPtr t0_;
        TermPtr t1_;
        bool exists_;
        
        bool unify(const TermPtr &t0, const TermPtr &t1);
        bool unify(const std::shared_ptr<Variable> &var, const TermPtr &t);
    };
}
 
#endif //KNOWROB_UNIFIER_H_