Clasp::Asp::RedefinitionError Class Reference

Exception type for signaling an invalid incremental program update. More...

#include <logic_program.h>

List of all members.

Public Member Functions
unsigned	atom () const
	RedefinitionError (unsigned atomId, const char *atomName="")
Private Attributes
unsigned	atomId_

---

Detailed Description

Exception type for signaling an invalid incremental program update.

Definition at line 64 of file logic_program.h.

---

Constructor & Destructor Documentation

Clasp::Asp::RedefinitionError::RedefinitionError	(	unsigned	atomId,
		const char *	atomName = ""
	)		[explicit]

Definition at line 396 of file logic_program.cpp.

---

Member Function Documentation

unsigned Clasp::Asp::RedefinitionError::atom

(

)

const [inline]

Definition at line 67 of file logic_program.h.

---

Member Data Documentation

unsigned Clasp::Asp::RedefinitionError::atomId_ [private]

Definition at line 69 of file logic_program.h.

---

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

• logic_program.h
• logic_program.cpp