PatternUtils.h

Go to the documentation of this file.

#ifndef _OPENCOG_PATTERN_UTILS_H
#define _OPENCOG_PATTERN_UTILS_H

#include <set>
#include <vector>

#include <opencog/atomspace/Handle.h>
#include <opencog/atomspace/types.h>

namespace opencog {


// Make sure that variables can be found in the clauses.
// See C file for description
bool remove_constants(const std::set<Handle> &vars,
                      std::vector<Handle> &clauses);


// See C file for description
void get_connected_components(const std::set<Handle>& vars,
                              const HandleSeq& clauses,
                              std::vector<HandleSeq>& compset,
                              std::vector<std::set<Handle>>& compvars);


HandleSeq get_free_vars_in_tree(const Handle& tree);

} // namespace opencog

#endif // _OPENCOG_PATTERN_UTILS_H