Top Engine Code

METASOURCES = AUTO
lib_LTLIBRARIES = libtop_engine.la
libtop_engine_la_SOURCES = kb_parser.cpp kb_term_builder.cpp knowledge_base.cpp \
	knowledge_rule.cpp knowledge_term.cpp owl_import.cpp psearch_db.cpp psearch_infer.cpp \
	psearch_query.cpp rdf_graph.cpp rdf_index.cpp rdf_rule_cback.cpp rule_explain_why.cpp \
	rule_internal.cpp rule_session.cpp rule_stat_collector.cpp rule_term_base.cpp \
	rule_utils.cpp top_class.cpp top_model.cpp tpl_encoder.cpp
include_HEADERS = backward_reasoner.h kb_parser.h kb_term_builder.h \
	kb_term_builder_internal.h knowledge_base.h knowledge_expression.h knowledge_rule.h \
	knowledge_term.h owl_import.h psearch_category.h psearch_core.h psearch_db.h \
	psearch_infer.h psearch_node.h psearch_pattern.h psearch_query.h psearch_rule.h \
	psearch_session.h query_rule_wrapper.h rdf_date_time.h rdf_graph.h rdf_index.h \
	rdf_rule_cback.h rdf_rule_core.h rdf_session.h rule_dependency_visitor.h rule_engine.h \
	rule_explain_why.h rule_expression.h rule_expression_names.h rule_internal.h \
	rule_operators.h rule_parser.h rule_propagation.h rule_session.h rule_stat_collector.h \
	rule_term.h rule_term_base.h top_class.h top_model.h top_property.h tpl_encoder.h

AM_CXXFLAGS = -Wall