dependency.cc File Reference

#include "gringo/ground/dependency.hh"
#include "tests/tests.hh"
#include "tests/term_helper.hh"
#include <functional>

Include dependency graph for dependency.cc:

Classes
class	Gringo::Ground::Test::TestDependency

Namespaces
	Gringo
	Gringo::Ground
	Gringo::Ground::Test

Functions
	Gringo::Ground::Test::CPPUNIT_TEST_SUITE_REGISTRATION (TestDependency)

Variable Documentation

DefinedBy defs

Dependency<S,S> dep

std::forward_list<S> heads

L l

unsigned num

std::forward_list<TestBodyOccurrence> occs

bool positive

StringSet str

UTerm term

OccurrenceType type = OccurrenceType::UNSTRATIFIED