Gringo::Domain Struct Reference

#include <domain.hh>

Inheritance diagram for Gringo::Domain:

Collaboration diagram for Gringo::Domain:

Public Member Functions
virtual void	setEnqueued (bool x)=0
virtual bool	isEnqueued () const =0
virtual bool	expire ()=0
virtual	~Domain ()

Constructor & Destructor Documentation

virtual Gringo::Domain::~Domain ( )

inlinevirtual

Member Function Documentation

virtual bool Gringo::Domain::expire ( )

pure virtual

Implemented in Gringo::AbstractDomain< Element >, Gringo::AbstractDomain< BodyAggregateState >, Gringo::AbstractDomain< AtomState >, Gringo::AbstractDomain< AssignmentAggregateState >, Gringo::AbstractDomain< ConjunctionState >, Gringo::AbstractDomain< DisjunctionState >, Gringo::AbstractDomain< DisjointState >, and Gringo::AbstractDomain< HeadAggregateState >.

virtual bool Gringo::Domain::isEnqueued ( ) const

pure virtual

Implemented in Gringo::AbstractDomain< Element >, Gringo::AbstractDomain< BodyAggregateState >, Gringo::AbstractDomain< AtomState >, Gringo::AbstractDomain< AssignmentAggregateState >, Gringo::AbstractDomain< ConjunctionState >, Gringo::AbstractDomain< DisjunctionState >, Gringo::AbstractDomain< DisjointState >, and Gringo::AbstractDomain< HeadAggregateState >.

virtual void Gringo::Domain::setEnqueued ( bool  x )

pure virtual

Implemented in Gringo::AbstractDomain< Element >, Gringo::AbstractDomain< BodyAggregateState >, Gringo::AbstractDomain< AtomState >, Gringo::AbstractDomain< AssignmentAggregateState >, Gringo::AbstractDomain< ConjunctionState >, Gringo::AbstractDomain< DisjunctionState >, Gringo::AbstractDomain< DisjointState >, and Gringo::AbstractDomain< HeadAggregateState >.

---

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

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