Gringo::Ground::SolutionCallback Struct Reference

#include <instantiation.hh>

Inheritance diagram for Gringo::Ground::SolutionCallback:

Collaboration diagram for Gringo::Ground::SolutionCallback:

Public Member Functions
virtual void	report (Output::OutputBase &out)=0
virtual void	mark ()=0
virtual void	unmark (Queue &queue)=0
virtual void	printHead (std::ostream &out) const =0
virtual	~SolutionCallback ()

Constructor & Destructor Documentation

virtual Gringo::Ground::SolutionCallback::~SolutionCallback ( )

inlinevirtual

Member Function Documentation

virtual void Gringo::Ground::SolutionCallback::mark ( )

pure virtual

Implemented in Gringo::Ground::WeakConstraint, Gringo::Ground::Rule, Gringo::Ground::DisjunctionRule, Gringo::Ground::HeadAggregateRule, Gringo::Ground::DisjunctionAccumulate, Gringo::Ground::HeadAggregateAccumulate, Gringo::Ground::ConjunctionAccumulateFact, Gringo::Ground::ConjunctionAccumulate, Gringo::Ground::ConjunctionAccumulateEmpty, Gringo::Ground::AssignmentAggregateAccumulate, Gringo::Ground::DisjointAccumulate, and Gringo::Ground::BodyAggregateAccumulate.

virtual void Gringo::Ground::SolutionCallback::printHead ( std::ostream &  out ) const

pure virtual

Implemented in Gringo::Ground::WeakConstraint, Gringo::Ground::Rule, Gringo::Ground::DisjunctionRule, Gringo::Ground::HeadAggregateRule, Gringo::Ground::DisjunctionAccumulate, Gringo::Ground::HeadAggregateAccumulate, Gringo::Ground::ConjunctionAccumulateFact, Gringo::Ground::ConjunctionAccumulate, Gringo::Ground::ConjunctionAccumulateEmpty, Gringo::Ground::AssignmentAggregateAccumulate, Gringo::Ground::DisjointAccumulate, and Gringo::Ground::BodyAggregateAccumulate.

virtual void Gringo::Ground::SolutionCallback::report ( Output::OutputBase &  out )

pure virtual

Implemented in Gringo::Ground::WeakConstraint, Gringo::Ground::Rule, Gringo::Ground::DisjunctionRule, Gringo::Ground::HeadAggregateRule, Gringo::Ground::DisjunctionAccumulate, Gringo::Ground::HeadAggregateAccumulate, Gringo::Ground::ConjunctionAccumulateFact, Gringo::Ground::ConjunctionAccumulate, Gringo::Ground::ConjunctionAccumulateEmpty, Gringo::Ground::AssignmentAggregateAccumulate, Gringo::Ground::DisjointAccumulate, and Gringo::Ground::BodyAggregateAccumulate.

virtual void Gringo::Ground::SolutionCallback::unmark ( Queue &  queue )

pure virtual

Implemented in Gringo::Ground::WeakConstraint, Gringo::Ground::Rule, Gringo::Ground::DisjunctionRule, Gringo::Ground::HeadAggregateRule, Gringo::Ground::DisjunctionAccumulate, Gringo::Ground::HeadAggregateAccumulate, Gringo::Ground::ConjunctionAccumulateFact, Gringo::Ground::ConjunctionAccumulate, Gringo::Ground::ConjunctionAccumulateEmpty, Gringo::Ground::AssignmentAggregateAccumulate, Gringo::Ground::DisjointAccumulate, and Gringo::Ground::BodyAggregateAccumulate.

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/ground/instantiation.hh