Implicator.cc File Reference

#include <opencog/atomspace/AtomSpace.h>
#include <opencog/atomspace/SimpleTruthValue.h>
#include <opencog/atoms/bind/BindLink.h>
#include "BindLinkAPI.h"
#include "DefaultImplicator.h"
#include "PatternMatch.h"

Include dependency graph for Implicator.cc:

Go to the source code of this file.

Namespaces
	opencog

Functions
static Handle	opencog::do_imply (AtomSpace *as, const Handle &hbindlink, Implicator &impl, bool do_conn_check=false)
Handle	opencog::bindlink (AtomSpace *, const Handle &)
Handle	opencog::single_bindlink (AtomSpace *, const Handle &)
Handle	opencog::af_bindlink (AtomSpace *, const Handle &)