LiberalSafetyPluginFactory Class Reference

#include <include/dlvhex2/LiberalSafetyChecker.h>

Public Types
typedef boost::shared_ptr < LiberalSafetyPluginFactory >	Ptr
Public Member Functions
virtual LiberalSafetyPluginPtr	create (LiberalSafetyChecker &lsc)=0
	Instantiates LiberalSafetyPlugin.

---

Detailed Description

Definition at line 82 of file LiberalSafetyChecker.h.

---

Member Typedef Documentation

typedef boost::shared_ptr<LiberalSafetyPluginFactory> LiberalSafetyPluginFactory::Ptr

Definition at line 89 of file LiberalSafetyChecker.h.

---

Member Function Documentation

virtual LiberalSafetyPluginPtr LiberalSafetyPluginFactory::create

(

LiberalSafetyChecker &

lsc

)

[pure virtual]

Instantiates LiberalSafetyPlugin.

Parameters:

lsc	Instance of LiberalSafetyChecker.

Returns:

LiberalSafetyPlugin.

---

The documentation for this class was generated from the following file:

• include/dlvhex2/LiberalSafetyChecker.h