include/dlvhex2/SafetyChecker.h File Reference

Class for checking rule and program safety. More...

#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/ProgramCtx.h"
#include "dlvhex2/Error.h"

Include dependency graph for SafetyChecker.h:

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

Go to the source code of this file.

Data Structures
class	SafetyCheckerBase
	Abstract base class for the SaftyCheckers. More...
class	SafetyChecker
	Ordinary safety checker class. More...
class	StrongSafetyChecker
	Strong safety checker class. More...

---

Detailed Description

Class for checking rule and program safety.

Author:

Roman Schindlauer

Peter Schueller

Date:

Mon Feb 27 15:09:49 CET 2006

Definition in file SafetyChecker.h.