Implements new safety criteria which may be used in place of strong safety. More...

#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/fwd.h"
#include "dlvhex2/Logger.h"
#include "dlvhex2/ID.h"
#include <boost/graph/graph_traits.hpp>
#include <boost/graph/adjacency_list.hpp>
#include <boost/shared_ptr.hpp>
#include <boost/foreach.hpp>
#include <boost/intrusive/unordered_set.hpp>
#include <boost/multi_index/member.hpp>
#include <boost/multi_index/hashed_index.hpp>

Include dependency graph for LiberalSafetyChecker.h:

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

Go to the source code of this file.

Data Structures
class	LiberalSafetyPlugin
class	LiberalSafetyPluginFactory
class	LiberalSafetyChecker
	Implements liberal safety extensible by LiberalSafetyPlugin. More...
struct	LiberalSafetyChecker::Attribute
	Stores an ordinary or external (input or output) attribute. More...
struct	LiberalSafetyChecker::NodeInfoTag
struct	LiberalSafetyChecker::NodeMappingInfo
	See boost::graph. More...
Typedefs
typedef LiberalSafetyPlugin::Ptr	LiberalSafetyPluginPtr
typedef LiberalSafetyPluginFactory::Ptr	LiberalSafetyPluginFactoryPtr
typedef boost::shared_ptr < LiberalSafetyChecker >	LiberalSafetyCheckerPtr
typedef boost::shared_ptr < const LiberalSafetyChecker >	LiberalSafetyCheckerConstPtr
Functions
DLVHEX_EXPORT std::size_t	hash_value (const LiberalSafetyChecker::Attribute &at)
DLVHEX_EXPORT std::size_t	hash_value (const LiberalSafetyChecker::VariableLocation &vl)