Ground Program Inspection

Functions and data structures to inspect ground programs. More...

Classes
class	Clingo::Observer
	Observer interface to inspect the current ground program. More...

Detailed Description

Functions and data structures to inspect ground programs.