OpenCog Framework  Branch: master, revision 6f0b7fc776b08468cf1b74aa9db028f387b4f0c0
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Groups Pages
BindLinkAPI.h
Go to the documentation of this file.
1 /*
2  * BindLinkAPI.h
3  *
4  * Copyright (C) 2014 Linas Vepstas <linasvepstas@gmail.com>
5  *
6  * This program is free software; you can redistribute it and/or modify
7  * it under the terms of the GNU Affero General Public License v3 as
8  * published by the Free Software Foundation and including the exceptions
9  * at http://opencog.org/wiki/Licenses
10  *
11  * This program is distributed in the hope that it will be useful,
12  * but WITHOUT ANY WARRANTY; without even the implied warranty of
13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14  * GNU General Public License for more details.
15  *
16  * You should have received a copy of the GNU Affero General Public License
17  * along with this program; if not, write to:
18  * Free Software Foundation, Inc.,
19  * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
20  */
21 
22 #ifndef _OPENCOG_BINDLINK_API_H
23 #define _OPENCOG_BINDLINK_API_H
24 
27 
28 namespace opencog {
29 
30 class AtomSpace;
31 
32 Handle bindlink(AtomSpace*, const Handle&);
33 Handle single_bindlink (AtomSpace*, const Handle&);
34 Handle af_bindlink(AtomSpace*, const Handle&);
35 TruthValuePtr satisfaction_link(AtomSpace*, const Handle&);
36 Handle satisfying_set(AtomSpace*, const Handle&);
37 
38 } // namespace opencog
39 
40 #endif // _OPENCOG_BINDLINK_API_H
std::shared_ptr< TruthValue > TruthValuePtr
Definition: TruthValue.h:85
Handle af_bindlink(AtomSpace *, const Handle &)
Definition: Implicator.cc:182
Handle satisfying_set(AtomSpace *, const Handle &)
Definition: Satisfier.cc:86
TruthValuePtr satisfaction_link(AtomSpace *, const Handle &)
Definition: Satisfier.cc:67
Handle bindlink(AtomSpace *, const Handle &)
Definition: Implicator.cc:156
Handle single_bindlink(AtomSpace *, const Handle &)
Definition: Implicator.cc:171