program_builder_test.cpp File Reference

#include "test.h"
#include <clasp/solver.h>
#include <clasp/minimize_constraint.h>
#include <clasp/unfounded_check.h>
#include <sstream>

Include dependency graph for program_builder_test.cpp:

Go to the source code of this file.

Classes
struct	Clasp::Test::ClauseObserver
class	Clasp::Test::LogicProgramTest
class	Clasp::Test::PBBuilderTest
class	Clasp::Test::SatBuilderTest
Namespaces
namespace	Clasp
namespace	Clasp::Test
Functions
	Clasp::Test::CPPUNIT_TEST_SUITE_REGISTRATION (LogicProgramTest)
	Clasp::Test::CPPUNIT_TEST_SUITE_REGISTRATION (SatBuilderTest)
	Clasp::Test::CPPUNIT_TEST_SUITE_REGISTRATION (PBBuilderTest)