src/SafetyChecker.cpp File Reference

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

#include "dlvhex2/SafetyChecker.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/Printer.h"
#include <fstream>

Include dependency graph for SafetyChecker.cpp:

Go to the source code of this file.

---

Detailed Description

Class for checking rule and program safety.

Author:

Roman Schindlauer

Peter Schller

Date:

Mon Feb 27 15:08:46 CET 2006

Definition in file SafetyChecker.cpp.