OpenCog Framework  Branch: master, revision 6f0b7fc776b08468cf1b74aa9db028f387b4f0c0
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Groups Pages
PatternUtils.h File Reference
#include <set>
#include <vector>
#include <opencog/atomspace/Handle.h>
#include <opencog/atomspace/types.h>
+ Include dependency graph for PatternUtils.h:
+ This graph shows which files directly or indirectly include this file:

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)