PatternUtils.cc File Reference

#include <opencog/atomutils/FindUtils.h>
#include "PatternUtils.h"

Include dependency graph for PatternUtils.cc:

Go to the source code of this file.

Namespaces
	opencog

Functions
bool	opencog::remove_constants (const std::set< Handle > &vars, std::vector< Handle > &clauses)
void	opencog::get_connected_components (const std::set< Handle > &vars, const HandleSeq &clauses, std::vector< HandleSeq > &components, std::vector< std::set< Handle >> &component_vars)
HandleSeq	opencog::get_free_vars_in_tree (const Handle &tree)