testsuite/TestPlugin.cpp File Reference

Test-plugin for the dlvhex-testsuite. More...

#include "dlvhex2/ExternalLearningHelper.h"
#include "dlvhex2/ComfortPluginInterface.h"
#include "dlvhex2/Term.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/ProgramCtx.h"
#include "dlvhex2/Printer.h"
#include <boost/foreach.hpp>
#include <boost/functional/hash.hpp>
#include <boost/program_options.hpp>
#include <boost/range.hpp>
#include <boost/filesystem.hpp>
#include <boost/lexical_cast.hpp>
#include <string>
#include <sstream>
#include <iostream>
#include <map>
#include <cstdio>
#include <cassert>

Include dependency graph for TestPlugin.cpp:

Go to the source code of this file.

Data Structures
class	TestAAtom
class	TestBAtom
class	TestCAtom
class	TestZeroArityAtom
class	TestConcatAtom
class	TestConcatAllAtom
class	TestListDomainAtom
class	TestListConcatAtom
class	TestListLengthAtom
class	TestListSplitAtom
class	TestListSplitHalfAtom
class	TestListMergeAtom
class	TestSubstrAtom
class	TestSmallerThanAtom
class	TestFirstAtom
class	TestPushAtom
class	TestMoveAtom
class	TestStrlenAtom
class	TestSetMinusAtom
class	TestSetMinusAtom::EAHeuristics
class	TestSetMinusAtom::EAHeuristicsFactory
class	TestSetMinusNonComfortAtom
class	TestSetMinusPartialAtom
class	TestSetMinusNogoodBasedLearningAtom
class	TestSetMinusNongroundNogoodBasedLearningAtom
class	TestSetMinusRuleBasedLearningAtom
class	TestNonmonAtom
class	TestNonmon2Atom
class	TestIdAtom
class	TestIdpAtom
class	TestIdcAtom
class	TestNegAtom
class	TestMinusOneAtom
class	TestEvenAtom
class	TestOddAtom
class	TestLessThanAtom
class	TestEqualAtom
class	TestTransitiveClosureAtom
class	TestCycleAtom
class	TestAppendAtom
class	TestDisjAtom
class	TestHashAtom
class	TestTrueMultiInpAtom
class	TestTrueMultiInpAtom2
class	TestReachableAtom
class	TestDLSimulatorAtom
class	TestASPQueryAtom
class	TestCautiousQueryAtom
class	TestBraveQueryAtom
class	TestFinalCallback
class	TestPlugin
struct	TestPlugin::CtxData
class	TestPlugin::TestSetUnionAtom
class	TestPlugin::TestGen2Atom
class	TestPlugin::TestIsEmpty
class	TestPlugin::TestNumberOfBalls
class	TestPlugin::TestNumberOfBallsSE
class	TestPlugin::TestNumberOfBallsGE
class	TestPlugin::SumNonZeroAtom
class	TestPlugin::ProductionRequirementsAtom
Functions
DLVHEX_NAMESPACE_END IMPLEMENT_PLUGINABIVERSIONFUNCTION DLVHEX_PLUGINEXPORT void *	PLUGINIMPORTFUNCTION ()
Variables
TestPlugin	theTestPlugin

---

Detailed Description

Test-plugin for the dlvhex-testsuite.

Author:

Roman Schindlauer

Peter Schueller

Date:

Tue Mar 27 17:28:33 CEST 2007

Definition in file TestPlugin.cpp.

---

Function Documentation

DLVHEX_NAMESPACE_END IMPLEMENT_PLUGINABIVERSIONFUNCTION DLVHEX_PLUGINEXPORT void* PLUGINIMPORTFUNCTION

(

)

Definition at line 2921 of file TestPlugin.cpp.

References DLVHEX_NAMESPACE, and theTestPlugin.

---

Variable Documentation

TestPlugin theTestPlugin

Definition at line 2912 of file TestPlugin.cpp.

Referenced by PLUGINIMPORTFUNCTION().