clingo
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups
Public Member Functions | List of all members
Gringo::Ground::HeadOccurrence Struct Referenceabstract

#include <literal.hh>

Inheritance diagram for Gringo::Ground::HeadOccurrence:
Inheritance graph
Collaboration diagram for Gringo::Ground::HeadOccurrence:
Collaboration graph

Public Member Functions

virtual void defines (IndexUpdater &update, Instantiator *inst)=0
 
virtual ~HeadOccurrence ()
 

Constructor & Destructor Documentation

virtual Gringo::Ground::HeadOccurrence::~HeadOccurrence ( )
inlinevirtual

Member Function Documentation

virtual void Gringo::Ground::HeadOccurrence::defines ( IndexUpdater &  update,
Instantiator *  inst 
)
pure virtual

Implemented in Gringo::Ground::HeadDummyDep, and Gringo::Ground::HeadDefinition.

The documentation for this struct was generated from the following file:
Generated on Wed May 14 2014 16:10:55 for clingo by   doxygen 1.8.7