OpenCog Framework
Branch: master, revision 6f0b7fc776b08468cf1b74aa9db028f387b4f0c0
|
#include <set>
#include <vector>
#include <opencog/util/functional.h>
#include <opencog/atomspace/Atom.h>
#include <opencog/atomspace/ClassServer.h>
#include <opencog/atomspace/Handle.h>
#include <opencog/atomspace/Link.h>
#include <opencog/atomspace/types.h>
Go to the source code of this file.
Classes | |
class | opencog::FindAtoms |
Namespaces | |
opencog | |
Functions | |
static bool | opencog::is_atom_in_tree (const Handle &tree, const Handle &atom) |
static bool | opencog::is_quoted_in_tree (const Handle &tree, const Handle &atom) |
static bool | opencog::is_unquoted_in_tree (const Handle &tree, const Handle &atom) |
static bool | opencog::any_atom_in_tree (const Handle &tree, const std::set< Handle > &atoms) |
static bool | opencog::any_unquoted_in_tree (const Handle &tree, const std::set< Handle > &atoms) |
static unsigned int | opencog::num_unquoted_in_tree (const Handle &tree, const std::set< Handle > &atoms) |
static bool | opencog::is_atom_in_any_tree (const std::vector< Handle > &trees, const Handle &atom) |
static bool | opencog::is_unquoted_in_any_tree (const std::vector< Handle > &trees, const Handle &atom) |
static bool | opencog::contains_atomtype (const Handle &clause, Type atom_type) |