clasp: unfounded_check.h File Reference

#include <clasp/solver.h>
#include <clasp/literal.h>
#include <clasp/dependency_graph.h>
#include <clasp/constraint.h>

Include dependency graph for unfounded_check.h:

This graph shows which files directly or indirectly include this file:

Classes
struct	Clasp::DefaultUnfoundedCheck::AddReasonLit
struct	Clasp::DefaultUnfoundedCheck::AddSource
struct	Clasp::DefaultUnfoundedCheck::AtomData
struct	Clasp::DefaultUnfoundedCheck::BodyData
struct	Clasp::DefaultUnfoundedCheck::BodyPtr
class	Clasp::DefaultUnfoundedCheck
	Clasp's default unfounded set checker. More...
struct	Clasp::DefaultUnfoundedCheck::ExtData
struct	Clasp::DefaultUnfoundedCheck::ExtWatch
struct	Clasp::DefaultUnfoundedCheck::InitExtWatches
struct	Clasp::DefaultUnfoundedCheck::MinimalityCheck
struct	Clasp::DefaultUnfoundedCheck::RemoveSource
Namespaces
namespace	Clasp

Classes