Clasp::Asp::RedefinitionError Class Reference

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

#include <logic_program.h>

Inheritance diagram for Clasp::Asp::RedefinitionError:

Collaboration diagram for Clasp::Asp::RedefinitionError:

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

Detailed Description

Exception type for signaling an invalid incremental program update.

Constructor & Destructor Documentation

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

explicit

Member Function Documentation

unsigned Clasp::Asp::RedefinitionError::atom ( ) const

inline

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/logic_program.h
• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/src/logic_program.cpp