OpenCog Framework
Branch: master, revision 6f0b7fc776b08468cf1b74aa9db028f387b4f0c0
|
#include <Pattern.h>
Public Types | |
typedef std::vector< Handle > | RootList |
typedef std::map< Handle, RootList > | ConnectMap |
typedef std::pair< Handle, RootList > | ConnectPair |
typedef std::map< std::pair < Handle, Handle > , PatternTermSeq > | ConnectTermMap |
Public Attributes | |
std::string | redex_name |
HandleSeq | clauses |
The actual clauses. Set by validate_clauses() More... | |
HandleSeq | cnf_clauses |
HandleSeq | mandatory |
std::set< Handle > | optionals |
std::set< Handle > | black |
std::set< Handle > | evaluatable_terms |
std::set< Handle > | evaluatable_holders |
std::set< Handle > | executable_terms |
std::set< Handle > | executable_holders |
std::unordered_multimap < Handle, Handle > | in_evaluatable |
std::unordered_multimap < Handle, Handle > | in_executable |
ConnectMap | connectivity_map |
ConnectTermMap | connected_terms_map |
The Pattern struct defines a search pattern in a way that makes it easier and faster to work with in C++. It implements the data that is shared between the various pattern-specification atoms and the pattern matcher.
typedef std::map<Handle, RootList> opencog::Pattern::ConnectMap |
typedef std::pair<Handle, RootList> opencog::Pattern::ConnectPair |
typedef std::map<std::pair<Handle,Handle>, PatternTermSeq> opencog::Pattern::ConnectTermMap |
typedef std::vector<Handle> opencog::Pattern::RootList |
HandleSeq opencog::Pattern::clauses |
ConnectTermMap opencog::Pattern::connected_terms_map |
ConnectMap opencog::Pattern::connectivity_map |